Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review
Top Cited Papers
- 6 October 2011
- journal article
- review article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews)
- Vol. 42 (4), 437-462
- https://doi.org/10.1109/tsmcc.2011.2160626
Abstract
Deadlocks are a rather undesirable situation in a highly automated flexible manufacturing system. Their occurrences often deteriorate the utilization of resources and may lead to catastrophic results in safety-critical systems. Graph theory, automata, and Petri nets are three important mathematical tools to handle deadlock problems in resource allocation systems. Particularly, Petri nets are considered as a popular formalism because of their inherent characteristics. They received much attention over the past decades to deal with deadlock problems, leading to a variety of deadlock-control policies. This study surveys the state-of-the-art deadlock-control strategies for automated manufacturing systems by reviewing the principles and techniques that are involved in preventing, avoiding, and detecting deadlocks. The focus is deadlock prevention due to its large and continuing stream of efforts. A control strategy is evaluated in terms of computational complexity, behavioral permissiveness, and structural complexity of its deadlock-free supervisor. This study provides readers with a conglomeration of the updated results in this area and facilitates engineers in finding a suitable approach for their industrial scenarios. Future research directions are finally discussed.Keywords
This publication has 173 references indexed in Scilit:
- Two Simple Deadlock Prevention Policies for ${\rm S}^{3}{\rm PR}$ Based on Key-Resource/Operation-Place PairsIEEE Transactions on Automation Science and Engineering, 2010
- Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphsComputers & Industrial Engineering, 2009
- Monitor design for colored Petri nets: An application to deadlock prevention in railway networksControl Engineering Practice, 2006
- Flexible manufacturing system structural control and the Neighborhood Policy, part 2. Generalization, optimization, and efficiencyIIE Transactions, 1997
- Flexible manufacturing system structural control and the Neighborhood Policy, part 1. Correctness and scalabilityIIE Transactions, 1997
- An efficient real-time deadlock-free control algorithm for automated manufacturing systemsInternational Journal of Production Research, 1997
- Petri net models of flexible and automated manufacturing systems: a surveyInternational Journal of Production Research, 1996
- Scheduling and control of flexible manufacturing systems: a critical reviewInternational Journal of Computer Integrated Manufacturing, 1994
- A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systemsInternational Journal of Production Research, 1994
- A survey of Petri net applications in modeling controls for automated manufacturing systemsComputers in Industry, 1994