Raymond R. Devillers. Construction of S-invariants and S-components for Refined Petri Boxes. In Marco Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings. Volume 691 of Lecture Notes in Computer Science, pages 242-261, Springer, 1993.
Abstract is missing.