An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems
Top Cited Papers
- 16 April 2007
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans
- Vol. 37 (3), 362-371
- https://doi.org/10.1109/tsmca.2007.893484
Abstract
This paper proposes an iterative synthesis approach to Petri net (PN)-based deadlock prevention policy for flexible manufacturing systems (FMS). Given the PN model (PNM) of an FMS prone to deadlock, the goal is to synthesize a live controlled PNM. Its use for FMS control guarantees its deadlock-free operation and high performance in terms of resource utilization and system throughput. The proposed method is an iterative approach. At each iteration, a first-met bad marking is singled out from the reachability graph of a given PNM. The objective is to prevent this marking from being reached via a place invariant of the PN. A well-established invariant-based control method is used to derive a control place. This process is carried out until the net model becomes live. The proposed method is generally applicable, easy to use, effective, and straightforward although its off-line computation is of exponential complexity. Two FMS are used to show its effectiveness and applicabilityKeywords
This publication has 31 references indexed in Scilit:
- An Application of Petri Nets to Supervisory Control for Human–Computer Interactive SystemsIEEE Transactions on Industrial Electronics, 2005
- Deadlock control methods in automated manufacturing systemsIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2004
- Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systemsIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2004
- Avoiding deadlock and reducing starvation and blocking in automated manufacturing systemsIEEE Transactions on Robotics and Automation, 2001
- Avoidance of deadlocks in flexible manufacturing systems using a capacity-designated directed graphInternational Journal of Production Research, 1997
- Event-based feedback control for deadlock avoidance in flexible production systemsIEEE Transactions on Robotics and Automation, 1997
- Graph-theoretic deadlock detection and resolution for flexible manufacturing systemsIEEE Transactions on Robotics and Automation, 1995
- A Petri net based deadlock prevention policy for flexible manufacturing systemsIEEE Transactions on Robotics and Automation, 1995
- Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systemsIEEE Transactions on Robotics and Automation, 1994
- A hybrid methodology for synthesis of Petri net models for manufacturing systemsIEEE Transactions on Robotics and Automation, 1992