VISWANADHAM N, NARAHARI Y, JOHNSON T L. De-adlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models[J]. IEEE Transactions on Robotics and Automation,1990,6(6):713-723.
[2]
MURATA T. Petri nets:properties, analysis, and applications[J]. Proceedings of the IEEE,1989,77(4):541-580.