Li Jiao, To-Yat Cheung, Weiming Lu. Characterizing Liveness of Petri Nets in Terms of Siphons. In Javier Esparza, Charles Lakos, editors, Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings. Volume 2360 of Lecture Notes in Computer Science, pages 203-216, Springer, 2002. [doi]
Abstract is missing.