Peter Kemper, Falko Bause. An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets. In Kurt Jensen, editor, Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings. Volume 616 of Lecture Notes in Computer Science, pages 263-278, Springer, 1992.
Abstract is missing.