Spyros A. Reveliotis. On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems. In Wil M. P. van der Aalst, Eike Best, editors, Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings. Volume 2679 of Lecture Notes in Computer Science, pages 241-255, Springer, 2003. [doi]
Abstract is missing.