Iterative Deadlock Control by Using Petri Nets

• Published in: IEEE transactions on systems, man and cybernetics. Part C, Applications and reviews Vol. 42; no. 6; pp. 1204 - 1218
• Main Authors: Wang, AnRong, Li, ZhiWu, Zhou, MengChu, Al-Ahmari, Abdulrahman M
• Format: Journal Article
• Language: English
• Published: New-York, NY IEEE 01.11.2012; Institute of Electrical and Electronics Engineers
• Subjects: Applied sciences; Automated manufacturing system; Computational efficiency; Computer science; control theory; systems; Computer systems and distributed systems. User interface; Control systems; Control theory. Systems; Cybernetics; deadlock; discrete event system; Electronics packaging; Exact sciences and technology; flexible manufacturing system; Flexible manufacturing systems; iterative control; Iterative methods; Mathematical models; Monitoring; Petri net; Petri nets; Policies; Process control. Computer integrated manufacturing; Resource allocation; Software; System recovery; Vectors; Policy; Computer integrated manufacturing; Process control; Resource allocation; Iterative method; Automated manufacturing system; iterative control; Modeling; Deadlock; Direct method; Flexible manufacturing system; Efficiency; Large scale; Petri net; Large scale system; Discrete event system
• ISSN: 1094-6977; 1558-2442
• DOI: 10.1109/TSMCC.2012.2189385

Deadlocks should be eliminated in resource allocation systems such as flexible manufacturing systems. An iterative deadlock control policy is usually considered to be a natural solution with reasonable computational cost for a large-scale system where direct methods would be prohibitively expensive (and in some cases impossible) even with the best available computing power. This paper reviews the existing iterative deadlock prevention policies for discrete event systems that are modeled with Petri nets. A number of technical problems in the existing iterative deadlock control approaches are formulated and discussed. Their solutions are illustrated through case studies. We conclude that the suitability, effectiveness, and efficiency of an iterative deadlock control approach are sensitive to specific examples, and no general algorithm is found in the literature, which works well for all cases.