Zhiwu Li, XiangFeng Zhang. A deadlock prevention approach using elementary siphons for a class of Petri nets. In Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004. pages 1728-1733, IEEE, 2004. [doi]
Abstract is missing.