Paola Alimonti, Esteban Feuerstein, Umberto Nanni. Linear Time Algorithms for Liveness and Boundedness in Conflict-free Petri Nets. In Imre Simon, editor, LATIN 92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings. Volume 583 of Lecture Notes in Computer Science, pages 1-14, Springer, 1992.
Abstract is missing.