Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets

Marian V. Iordache, Panos J. Antsaklis. Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets. In José Manuel Colom, Maciej Koutny, editors, Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings. Volume 2075 of Lecture Notes in Computer Science, pages 184-203, Springer, 2001. [doi]

Abstract

Abstract is missing.