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.
Abstract is missing.