Iterative Deadlock Control by Using Petri Nets

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.

[1]  MengChu Zhou,et al.  Introduction to Petri Nets in Flexible and Agile Automation , 1995 .

[2]  Murat Uzam,et al.  An Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models with Resources and the Theory of Regions , 2002 .

[3]  MengChu Zhou,et al.  A hybrid methodology for synthesis of Petri net models for manufacturing systems , 1992, IEEE Trans. Robotics Autom..

[4]  Panos J. Antsaklis,et al.  Synthesis of deadlock prevention supervisors using Petri nets , 2002, IEEE Trans. Robotics Autom..

[5]  Tomi Räty,et al.  Survey on Contemporary Remote Surveillance Systems for Public Safety , 2010, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[6]  Alessandro Giua,et al.  Petri Net Supervisors for Generalized Mutual Exclusion Constraints , 1993 .

[7]  Naiqi Wu,et al.  System Modeling and Control with Resource-Oriented Petri Nets , 2009 .

[8]  Philippe Darondeau,et al.  Theory of Regions , 1996, Petri Nets.

[9]  H. S. Hu,et al.  Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[10]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[11]  MengChu Zhou,et al.  Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[12]  MengChu Zhou,et al.  Low-Cost and High-Performance Supervision in Ratio-Enforced Automated Manufacturing Systems Using Timed Petri Nets , 2010, IEEE Transactions on Automation Science and Engineering.

[13]  Olfa Mosbahi,et al.  Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems , 2011, IEEE Transactions on Automation Science and Engineering.

[14]  MengChu Zhou,et al.  An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems , 2006 .

[15]  MengChu Zhou,et al.  Petri net synthesis and analysis of a flexible manufacturing system cell , 1993, IEEE Trans. Syst. Man Cybern..

[16]  MengChu Zhou,et al.  Petri nets and industrial applications: A tutorial , 1994, IEEE Trans. Ind. Electron..

[17]  Yufeng Chen,et al.  Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems , 2011, Autom..

[18]  MengChu Zhou,et al.  Short-Term Schedulability Analysis of Multiple Distiller Crude Oil Operations in Refinery With Oil Residency Time Constraint , 2009, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[19]  Panos J. Antsaklis,et al.  Feedback control of Petri nets based on place invariants , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[20]  Alessandro Giua,et al.  Generalized mutual exclusion contraints on nets with uncontrollable transitions , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.

[21]  Kurt Lautenbach,et al.  Liveness in Bounded Petri Nets Which Are Covered by T-Invariants , 1994, Application and Theory of Petri Nets.

[22]  MengChu Zhou,et al.  Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets , 2010, IEEE Transactions on Automation Science and Engineering.

[23]  MengChu Zhou,et al.  Deadlock control methods in automated manufacturing systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[24]  Zhiwu Li,et al.  Deadlock control of flexible manufacturing systems via invariant–controlled elementary siphons of petri nets , 2007 .

[25]  MengChu Zhou,et al.  Hybrid Petri Net Modeling and Schedulability Analysis of High Fusion Point Oil Transportation Under Tank Grouping Strategy for Crude Oil Operations in Refinery , 2010, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[26]  MengChu Zhou,et al.  Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[27]  Fernando Tricas García,et al.  Deadlock Analysis, Prevention and Avoidance in Sequential Resource Allocation Systems , 2011 .

[28]  Lin Ma,et al.  Maintenance Chain Integration Using Petri-Net Enabled Multiagent System Modeling and Implementation Approach , 2011, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[29]  MuDer Jeng,et al.  A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions , 2008, IEEE Transactions on Automation Science and Engineering.

[30]  MengChu Zhou,et al.  Short-Term Schedulability Analysis of Crude Oil Operations in Refinery With Oil Residency Time Constraint Using Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[31]  MengChu Zhou,et al.  Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[32]  MengChu Zhou,et al.  Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems , 2004, IEEE Trans. Syst. Man Cybern. Part A.

[33]  F. Tricas,et al.  An extension of the liveness theory for concurrent sequential processes competing for shared resources , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

[34]  MengChu Zhou,et al.  Design and implementation of a petri net based supervisor for a flexible manufacturing system , 1992, Autom..

[35]  Joaquín Ezpeleta,et al.  Using linear programming and the Petri net structure for deadlock prevention in sequential resource allocation systems , 2005 .

[36]  Roberto Cordone,et al.  Selective Siphon Control for Deadlock Prevention in Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[37]  Chengbin Chu,et al.  Modeling and Conflict Detection of Crude Oil Operations for Refinery Process Based on Controlled Colored Timed Petri Net , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[38]  MengChu Zhou,et al.  A Divide-and-Conquer Strategy to Deadlock Prevention in Flexible Manufacturing Systems , 2009, IEEE Trans. Syst. Man Cybern. Part C.

[39]  MengChu Zhou,et al.  A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[40]  Mi Zhao,et al.  On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[41]  Zhiwu Li,et al.  Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach , 2009 .

[42]  MengChu Zhou,et al.  Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach , 1998 .

[43]  MengChu Zhou,et al.  Resource-Transition Circuits and Siphons for Deadlock Control of Automated Manufacturing Systems , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[44]  Naiqi Wu,et al.  Deadlock avoidance in an automated guidance vehicle system using a coloured Petri net model , 2002 .

[45]  Joaquín Ezpeleta,et al.  An Iterative Method for Deadlock Prevention in FMS , 2000 .

[46]  MengChu Zhou,et al.  Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets , 2006, IEEE Transactions on Industrial Informatics.

[47]  Kamel Barkaoui,et al.  On Liveness and Controlled Siphons in Petri Nets , 1996, Application and Theory of Petri Nets.

[48]  MengChu Zhou,et al.  Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[49]  MengChu Zhou,et al.  An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[50]  Feng Chu,et al.  A Petri Net Method for Schedulability and Scheduling Problems in Single-Arm Cluster Tools With Wafer Residency Time Constraints , 2008, IEEE Transactions on Semiconductor Manufacturing.

[51]  MengChu Zhou,et al.  Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[52]  Roberto Cordone,et al.  Combined Siphon and Marking Generation for Deadlock Prevention in Petri Nets , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[53]  MengChu Zhou,et al.  Modeling and Control of Discrete-event Dynamic Systems: With Petri Nets and Other Tools , 2007 .

[54]  MengChu Zhou,et al.  Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources , 1991, IEEE Trans. Robotics Autom..

[55]  Naiqi Wu,et al.  Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model , 1999, IEEE Trans. Syst. Man Cybern. Part C.

[56]  MengChu Zhou,et al.  Synthesis of Structurally Simple Supervisors Enforcing Generalized Mutual Exclusion Constraints in Petri Nets , 2010, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[57]  MengChu Zhou,et al.  Control of Elementary and Dependent Siphons in Petri Nets and Their Application , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[58]  Nidhal Rezg,et al.  Design of a live and maximally permissive Petri net controller using the theory of regions , 2003, IEEE Trans. Robotics Autom..