Deadlock recovery for flexible manufacturing systems modeled with Petri nets

This paper deals with deadlock problems in Petri nets by adding a set of recovery transitions. Different from traditional deadlock control methods by deploying control places for a net model to be controlled, this work adds transitions to a net model to recover all deadlock markings. First, we present an iterative approach. At each iteration step, an integer linear programming problem (ILPP) is formulated to design a recovery transition and the objective function is used to maximize the number of deadlock markings recovered by the obtained transition. The process is carried out until all deadlock markings are recovered. As a result, only a small number of recovery transitions are needed to recover all the deadlock markings, i.e., the resulting net model with recovery transitions is live. Second, we develop another ILPP to find all recovery transitions at a time. The constraints of the ILPP ensure that every deadlock marking is recovered by at least one selected recovery transition and the objective function is used to minimize the number of selected recovery transitions. Then, a minimal number of recovery transitions are obtained by solving one ILPP only. Both approaches can make a net model live with all reachable markings. Finally, serval examples are provided to demonstrate the proposed approach.

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

[2]  MengChu Zhou,et al.  Modeling, Analysis and Control of Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation Based on Petri Nets , 2012, IEEE Transactions on Automation Science and Engineering.

[3]  Jonghun Park,et al.  On the “Counter-Example” in the Article “Max $^{\prime}$-Controlled Siphons for Liveness of $S^{3}PGR^{2}$” Regarding the Results in “Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings” , 2001, IEEE Transactions on Automatic Control.

[4]  Alessandro Giua,et al.  Observer-based state-feedback control of timed Petri nets with deadlock recovery , 2004, IEEE Transactions on Automatic Control.

[5]  Kamel Barkaoui,et al.  On the enforcement of a class of nonlinear constraints on Petri nets , 2015, Autom..

[6]  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.

[7]  Hyunbo Cho,et al.  A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems , 1994 .

[8]  Alessandro Giua,et al.  On the Equivalence of Observation Structures for Petri Net Generators , 2016, IEEE Transactions on Automatic Control.

[9]  Zhiwu Li,et al.  Decentralized Supervision of Petri Nets With a Coordinator , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[10]  Yufeng Chen,et al.  On structural minimality of optimal supervisors for flexible manufacturing systems , 2012, Autom..

[11]  L. Recalde,et al.  A deadlock avoidance approach for non-sequential resource allocation systems , 2002, IEEE International Conference on Systems, Man and Cybernetics.

[12]  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.

[13]  Kamel Barkaoui,et al.  New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[14]  MengChu Zhou,et al.  Short-term scheduling of crude-oil operations , 2015 .

[15]  Kurt Lautenbach,et al.  The Linear Algebra of Deadlock Avoidance - A Petri Net Approach , 1996 .

[16]  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.

[17]  MengChu Zhou,et al.  Short-term scheduling of crude oil operations in refinery with high-fusion-point oil and two transportation pipelines , 2016, Enterp. Inf. Syst..

[18]  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.

[19]  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.

[20]  MengChu Zhou,et al.  Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach , 2014, IEEE Transactions on Automation Science and Engineering.

[21]  MengChu Zhou,et al.  Schedulability Analysis and Optimal Scheduling of Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation , 2012, IEEE Transactions on Automation Science and Engineering.

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

[23]  Chengying Wang,et al.  Optimal supervisor synthesis for petri nets with uncontrollable transitions: A bottom-up algorithm , 2016, Inf. Sci..

[24]  Kamel Barkaoui,et al.  Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[25]  Joaquín Ezpeleta,et al.  A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states , 2002, IEEE Trans. Robotics Autom..

[26]  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).

[27]  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.

[28]  MengChu Zhou,et al.  Optimal One-Wafer Cyclic Scheduling and Buffer Space Configuration for Single-Arm Multicluster Tools With Linear Topology , 2016, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[29]  Yi-Sheng Huang,et al.  Transition-Based Deadlock Detection and Recovery Policy for FMSs Using Graph Technique , 2013, TECS.

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

[31]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[32]  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.

[33]  MengChu Zhou,et al.  Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions , 2016, IEEE Transactions on Automatic Control.

[34]  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 .

[35]  MengChu Zhou,et al.  A Method to Compute Strict Minimal Siphons in a Class of Petri Nets Based on Loop Resource Subsets , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[36]  Stephane Julia,et al.  Deadlock-Freeness Scenarios Detection in Web Service Composition , 2015, 2015 12th International Conference on Information Technology - New Generations.

[37]  Olfa Mosbahi,et al.  Reconfigurable Coordination of Distributed Discrete Event Control Systems , 2015, IEEE Transactions on Control Systems Technology.

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

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

[40]  Alessandro Giua,et al.  Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints , 2015, IEEE Trans. Autom. Control..

[41]  Naijie Gu,et al.  Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection , 2015, 2015 Third International Symposium on Computing and Networking (CANDAR).

[42]  MengChu Zhou,et al.  Petri Net Modeling and Cycle-Time Analysis of Dual-Arm Cluster Tools With Wafer Revisiting , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[43]  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.

[44]  X. Xie,et al.  Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems , 2006, IEEE Trans. Syst. Man Cybern. Part A.

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

[46]  MengChu Zhou,et al.  Short-Term Scheduling of Crude-Oil Operations: Enhancement of Crude-Oil Operations Scheduling Using a Petri Net-Based Control-Theoretic Approach , 2015, IEEE Robotics & Automation Magazine.

[47]  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.

[48]  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.

[49]  Abdulrahman Al-Ahmari,et al.  Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[50]  Richard A. Wysk,et al.  Resolution of deadlocks in flexible manufacturing systems: Avoidance and recovery approaches , 1994 .

[51]  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.

[52]  Joaquín Ezpeleta,et al.  A deadlock avoidance approach for nonsequential resource allocation systems , 2002, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[53]  MengChu Zhou,et al.  Controllability Conditions of Resultant Siphons in a Class of Petri Nets , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[54]  Fu-Shiung Hsieh.  Fault-tolerant deadlock avoidance algorithm for assembly processes , 2004, IEEE Trans. Syst. Man Cybern. Part A.

[55]  Mariagrazia Dotoli,et al.  Deadlock Detection and Avoidance Strategies for Automated Storage and Retrieval Systems , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[56]  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.

[57]  MengChu Zhou,et al.  A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

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