Fernando Tricas, Joaquín Ezpeleta. Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets. In Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2003, September 16-19, 2003, Lisbon, Portugal - Volume 1. pages 322-329, IEEE, 2003. [doi]
Abstract is missing.