Deadlock Prevention for Flexible Manufacturing Systems via Controllable Siphon Basis of Petri Nets

Siphons are a kind of special structural objects in a Petri net, and plays a key role in synthesizing a live Petri net controller for flexible manufacturing systems. In order to obtain a small size Petri net controller, this paper introduces the concept of a controllable siphon basis. It then proves that a live Petri net controller can be established by adding a control place and related arcs to each strict minimal siphon (SMS) in a controllable siphon basis. The initial markings of control places are determined by an integer linear program. The number of control places in the obtained controllers is the same as the number of SMSs in the controllable siphon basis, while the latter is no more than that of the activity places in a Petri net model. An algorithm for constructing a controllable siphon basis is proposed, and a new deadlock prevention policy based on it is established. A few examples are provided to demonstrate the proposed concepts and policy and used to compare them with the state-of-the-art methods.

[1]  MengChu Zhou,et al.  Modeling and control of the FMS workstation level information flow by a modified Petri Net , 1997, 1997 IEEE 6th International Conference on Emerging Technologies and Factory Automation Proceedings, EFTA '97.

[2]  MengChu Zhou,et al.  Two-stage deadlock prevention policy based on resource-transition circuits , 2012, 2012 IEEE International Conference on Automation Science and Engineering (CASE).

[3]  Ming C. Leu,et al.  Modeling and Performance Analysis of a Flexible PCB Assembly Station Using Petri Nets , 1991 .

[4]  MengChu Zhou,et al.  Transition Cover-Based Design of Petri Net Controllers for Automated Manufacturing Systems , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[5]  Feng Chu,et al.  Deadlock analysis of Petri nets using siphons and mathematical programming , 1997, IEEE Trans. Robotics Autom..

[6]  MengChu Zhou,et al.  A stochastic Petri net-approach to modeling and analysis of ad hoc network , 2003, International Conference on Information Technology: Research and Education, 2003. Proceedings. ITRE2003..

[7]  MengChu Zhou,et al.  Petri net modelling of buffers in automated manufacturing systems , 1996, IEEE Trans. Syst. Man Cybern. Part B.

[8]  MuDer Jeng,et al.  Deadlock prevention policy based on Petri nets and siphons , 2001 .

[9]  Pingtao Yan,et al.  Modeling and control of workstation level information flow in FMS using modified Petri nets , 1999, J. Intell. Manuf..

[10]  MengChu Zhou,et al.  Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.

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

[12]  MengChu Zhou,et al.  Role Transfer Problems and Algorithms , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

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

[14]  Huixia Liu,et al.  Comment on "On Siphon Computation for Deadlock Control in a Class of Petri Nets" , 2009, IEEE Trans. Syst. Man Cybern. Part A.

[15]  Miroslaw J. Skibniewski,et al.  Risk assessment for enterprise resource planning (ERP) system implementations: a fault tree analysis approach , 2013, Enterp. Inf. Syst..

[16]  MengChu Zhou,et al.  Modeling and schedulability analysis of single-arm multi-cluster tools with residency time constraints via Petri nets , 2014, 2014 IEEE International Conference on Automation Science and Engineering (CASE).

[17]  MengChu Zhou,et al.  Optimal scheduling of single-arm multi-cluster tools with two-space buffering modules , 2014, 2014 IEEE International Conference on Automation Science and Engineering (CASE).

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

[19]  MengChu Zhou,et al.  A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets , 2013, Autom..

[20]  MengChu Zhou,et al.  Scheduling of semiconductor test facility via Petri nets and hybrid heuristic search , 1998 .

[21]  MengChu Zhou,et al.  Scheduling of single-arm multi-cluster tools to achieve the minimum cycle time , 2013, 2013 IEEE International Conference on Robotics and Automation.

[22]  MengChu Zhou,et al.  Robust control reconfiguration of resource allocation systems with Petri nets and integer programming , 2014, Autom..

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

[24]  MengChu Zhou,et al.  Deadlock-Free Genetic Scheduling Algorithm for Automated Manufacturing Systems Based on Deadlock Control Policy , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[25]  Haoxun Chen,et al.  Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources , 1996 .

[26]  Beno Benhabib,et al.  Deadlock-free scheduling and control of flexible manufacturing cells using automata theory , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[27]  MengChu Zhou,et al.  One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets , 2013, TECS.

[28]  MengChu Zhou,et al.  Roles in Information Systems: A Survey , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

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

[30]  S. Khan,et al.  Structural Analysis Methods for Petri Net based Control Systems: a Review , 2013 .

[31]  MengChu Zhou,et al.  QoS-Aware Web Service Configuration , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[32]  MengChu Zhou,et al.  An Efficient Outpatient Scheduling Approach , 2012, IEEE Transactions on Automation Science and Engineering.

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

[34]  MengChu Zhou,et al.  Group Role Assignment via a Kuhn–Munkres Algorithm-Based Solution , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

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

[36]  MengChu Zhou,et al.  Optimal one-wafer cyclic scheduling analysis of hybrid multi-cluster tools with one-space buffering module , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

[37]  MengChu Zhou,et al.  Efficient Role Transfer Based on Kuhn–Munkres Algorithm , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[38]  MengChu Zhou,et al.  Petri net modeling and one-wafer scheduling of single-arm multi-cluster tools , 2013, 2013 IEEE International Conference on Automation Science and Engineering (CASE).

[39]  MengChu Zhou,et al.  Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS , 2007 .

[40]  Mark Lawley,et al.  Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems , 1997, IEEE Trans. Autom. Control..

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

[42]  MengChu Zhou,et al.  Petri Net-Based Optimal One-Wafer Cyclic Scheduling of Hybrid Multi-Cluster Tools in Wafer Fabrication , 2014, IEEE Transactions on Semiconductor Manufacturing.

[43]  Chengying Wang,et al.  An algorithm to find the minimal initial markings of resource places ensuring liveness of finite-capacity S3PR , 2012 .

[44]  MengChu Zhou,et al.  Modeling and Validating E-Commerce Business Process Based on Petri Nets , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

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

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

[47]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.

[48]  MengChu Zhou,et al.  Petri Net-Based Optimal One-Wafer Scheduling of Single-Arm Multi-Cluster Tools in Semiconductor Manufacturing , 2013, IEEE Transactions on Semiconductor Manufacturing.

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

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

[51]  MengChu Zhou,et al.  Adaptive design of Petri net controllers for error recovery in automated manufacturing systems , 1989, IEEE Trans. Syst. Man Cybern..

[52]  MengChu Zhou,et al.  Web Service Configuration Under Multiple Quality-of-Service Attributes , 2009, IEEE Transactions on Automation Science and Engineering.

[53]  MengChu Zhou,et al.  On Siphon Computation for Deadlock Control in a Class of Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[54]  MengChu Zhou,et al.  Automating Mason's rule and its application to analysis of stochastic Petri nets , 1995, IEEE Trans. Control. Syst. Technol..

[55]  Qinghua Zhu,et al.  Scheduling Single-arm Multi-cluster Tools with Lower Bound Cycle Time via Petri Nets , 2022 .

[56]  Manuel Silva Suárez,et al.  Petri nets and flexible manufacturing , 1988, European Workshop on Applications and Theory in Petri Nets.

[57]  Jennifer Urner.  Petri Nets In Flexible And Agile Automation , 2016 .

[58]  MengChu Zhou,et al.  Discrete Event Control Methods: A Review , 1996 .

[59]  Chengying Wang,et al.  Design of Liveness-Enforcing Supervisors for S3PR Based on Complementary Places , 2013, TECS.

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

[61]  MengChu Zhou,et al.  Deadlock Resolution in Automated Manufacturing Systems With Robots , 2007, IEEE Transactions on Automation Science and Engineering.

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

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

[64]  MuDer Jeng,et al.  A Petri net synthesis theory for modeling flexible manufacturing systems , 1997, IEEE Trans. Syst. Man Cybern. Part B.

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

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

[67]  MengChu Zhou.  Deadlock avoidance schemes in a distributed robotic system: Petri net modeling and analysis , 1995, J. Field Robotics.

[68]  MengChu Zhou,et al.  Deadlock-Free Control of Automated Manufacturing Systems With Flexible Routes and Assembly Operations Using Petri Nets , 2013, IEEE Transactions on Industrial Informatics.

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

[70]  Mehmet C. Vuran,et al.  A Reliable Energy-Efficient Multi-Level Routing Algorithm for Wireless Sensor Networks Using Fuzzy Petri Nets , 2011, Sensors.

[71]  MengChu Zhou,et al.  Design of industrial automated systems via relay ladder logic programming and Petri nets , 1998, IEEE Trans. Syst. Man Cybern. Part C.

[72]  Zhiwu Li,et al.  An optimal-elementary-siphons-based iterative deadlock prevention policy for flexible manufacturing systems , 2008 .

[73]  MengChu Zhou,et al.  Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution , 2010, Int. J. Web Serv. Res..

[74]  MengChu Zhou,et al.  A Petri Net Approach to Analysis and Composition of Web Services , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.