Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang. A Unified Approach for Reasoning about Conflict-Free Petri Nets. 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 513-531, Springer, 1993.
Abstract is missing.