Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets

Modern complex systems require intensive application of sophisticated supervisors. Structural simplification techniques are one of the fundamental researches in the context of flexible manufacturing systems (FMSs). They can reduce implementation cost, mitigate fabrication complexity, and improve reliability. Several typical methods have been developed along this direction. In order to thoroughly explore their effectiveness and performance, we not only conduct a comparison investigation but also develop some new theoretical results. Several analytical results and performance measures are proposed for their qualitative and quantitative comparison. Our approach can assist researchers and practitioners to better comprehend the inherent mechanisms and relative merits of these simplification methodologies as well as their applicability in FMSs. This paper is motivated by FMSs' control; however, it is also applicable to other systems with discrete event controllers.

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

[2]  Ugo Buy,et al.  Formal Modeling of Sequential Function Charts With Time Petri Nets , 2011, IEEE Transactions on Control Systems Technology.

[3]  Francesco Basile,et al.  On the Implementation of Industrial Automation Systems Based on PLC , 2013, IEEE Transactions on Automation Science and Engineering.

[4]  Francesco Basile,et al.  A Hybrid Model of Complex Automated Warehouse Systems—Part II: Analysis and Experimental Results , 2012, IEEE Transactions on Automation Science and Engineering.

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

[6]  Kenzo Nonami,et al.  Approach for Transforming Linear Constraints on Petri Nets , 2011, IEEE Transactions on Automatic Control.

[7]  Francesco Basile,et al.  On the Implementation of Supervised Control of Discrete Event Systems , 2007, IEEE Transactions on Control Systems Technology.

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

[9]  K. Barkaoui,et al.  A deadlock prevention method for a class of FMS , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

[10]  Pasquale Chiacchio,et al.  A Hybrid Model of Complex Automated Warehouse Systems—Part I: Modeling and Simulation , 2012, IEEE Transactions on Automation Science and Engineering.

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

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

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

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

[15]  Mona Noori Hosseini,et al.  Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs , 2012, IEEE Transactions on Control Systems Technology.

[16]  Robi Malik,et al.  Hierarchical interface-based supervisory control using the conflict preorder , 2012, WODES.

[17]  Alessandro Giua,et al.  An Optimization Approach to Petri Net Monitor Design , 2007, IEEE Transactions on Automatic Control.

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

[19]  Panos J. Antsaklis,et al.  Synthesis of supervisors enforcing general linear constraints in Petri nets , 2003, IEEE Trans. Autom. Control..

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

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

[22]  MengChu Zhou,et al.  Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets , 2009, IEEE Transactions on Multimedia.

[23]  M. C. Cheng General criteria for redundant and nonredundant linear inequalities , 1987 .

[24]  Hesuan Hu,et al.  Supervisor Simplification for AMS Based on Petri Nets and Inequality Analysis , 2014, IEEE Transactions on Automation Science and Engineering.

[25]  Jean-Jacques Lesage,et al.  Algebraic synthesis of logical controllers despite inconsistencies in specifications , 2012, WODES.

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

[27]  W. M. Wonham,et al.  Supervisor Reduction for Discrete-Event Systems , 2004, Discret. Event Dyn. Syst..

[28]  Alessandro Giua,et al.  Monitor design for colored Petri nets: An application to deadlock prevention in railway networks , 2006 .

[29]  Panos J. Antsaklis,et al.  Petri net supervisors for DES with uncontrollable and unobservable transitions , 2000, IEEE Trans. Autom. Control..

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