Synthesis of Monitor-based Liveness-Enforcing Supervisors for S3PR With ξ-Resources

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

[2]  MengChu Zhou,et al.  Supervisor Design to Enforce Production Ratio and Absence of Deadlock in Automated Manufacturing Systems , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

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

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

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

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

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

[8]  MengChu Zhou,et al.  Supervisor Optimization for Deadlock Resolution in Automated Manufacturing Systems With Petri Nets , 2011, IEEE Transactions on Automation Science and Engineering.

[9]  Gaiyun Liu,et al.  Control policy for a subclass of Petri nets without reachability analysis , 2013 .

[10]  Y. Narahari,et al.  Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models , 1990, IEEE Trans. Robotics Autom..

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

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

[13]  Yi-Sheng Huang,et al.  An improved deadlock prevention strategy for FMSs using theory of regions , 2010 .

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

[15]  ZhiWu Li,et al.  Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs , 2009, Comput. Ind. Eng..

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

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

[18]  MengChu Zhou,et al.  Liveness and Ratio-Enforcing Supervision of Automated Manufacturing Systems Using Petri Nets , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

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

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

[21]  Yi-Sheng Huang.  Design of deadlock prevention supervisors using Petri nets , 2007 .

[22]  Jing Yang,et al.  Deadlock prevention policy for a class of petri nets based on complementary places and elementary siphons , 2015, J. Intell. Manuf..

[23]  Panos J. Antsaklis,et al.  Supervisory Control of Discrete Event Systems Using Petri Nets , 1998, The International Series on Discrete Event Dynamic Systems.

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

[25]  Daniel Yuh Chao,et al.  Uniform formulas for compound siphons, complementary siphons and characteristic vectors in deadlock prevention of flexible manufacturing systems , 2015, J. Intell. Manuf..

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

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

[28]  ZhiWu Li,et al.  Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons , 2010, J. Intell. Manuf..

[29]  MengChu Zhou,et al.  An Optimization Approach to Improved Petri Net Controller Design for Automated Manufacturing Systems , 2013, IEEE Transactions on Automation Science and Engineering.

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

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

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

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