Raymond R. Devillers. Maximality preservation and the ST-idea for action refinements. In Grzegorz Rozenberg, editor, Advances in Petri Nets 1992, The DEMON Project. Volume 609 of Lecture Notes in Computer Science, pages 108-151, Springer, 1992.
@inproceedings{Devillers92:1, title = {Maximality preservation and the ST-idea for action refinements}, author = {Raymond R. Devillers}, year = {1992}, tags = {refinement}, researchr = {https://researchr.org/publication/Devillers92%3A1}, cites = {0}, citedby = {0}, pages = {108-151}, booktitle = {Advances in Petri Nets 1992, The DEMON Project}, editor = {Grzegorz Rozenberg}, volume = {609}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-55610-9}, }