An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems

This paper deals with the enforcement of generalized mutual exclusion constraints (GMECs) on time Petri nets (TPNs) with uncontrollable transitions by restricting the firing intervals of controllable transitions. Existing approaches do not exploit the timing information and consequently the system permissiveness is limited. The key idea behind the proposed approach is the online computation of a graph representing a reduced portion of the state space of a TPN system, and precisely the states that can be reached from the current one by firing only uncontrollable transitions. Such a graph is called partial modified state class graph (PMSCG) and is derived from another graph recently presented in the literature. Based on the PMSCG, a procedure to compute a supervisory control law enforcing a GMEC on a TPN system in a maximally permissive way is presented.

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

[2]  Serge Haddad,et al.  Comparison of Different Semantics for Time Petri Nets , 2005, ATVA.

[3]  Bruce H. Krogh,et al.  Synthesis of feedback control logic for discrete manufacturing systems , 1991, Autom..

[4]  Roberto Cordone,et al.  A branch and bound approach for the design of decentralized supervisors in Petri net models , 2015, Autom..

[5]  Francesco Basile,et al.  Diagnosability Analysis of Labeled Time Petri Net Systems , 2017, IEEE Transactions on Automatic Control.

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

[7]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .

[8]  Hanifa Boucheneb,et al.  Efficient Reachability Analysis for Time Petri Nets , 2011, IEEE Transactions on Computers.

[9]  Alessandro Giua,et al.  Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places , 2006, Autom..

[10]  Alessandro Giua,et al.  Deadlock recovery of Petri net models controlled using observers , 2001, ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597).

[11]  Parisa Heidari,et al.  Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets , 2010, 2010 10th International Conference on Application of Concurrency to System Design.

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

[13]  Francesco Basile,et al.  State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions , 2015, IEEE Transactions on Automatic Control.

[14]  Yong Li,et al.  Control of Vector Discrete-Event Systems , 1993 .

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

[16]  Kamel Barkaoui,et al.  Stubborn Sets for Time Petri Nets , 2015, ACM Trans. Embed. Comput. Syst..

[17]  Ugo Buy,et al.  Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[18]  Gang Xu,et al.  Reachability Analysis of Real-Time Systems Using Time Petri Nets , 2000 .

[19]  G. Gardey,et al.  Safety Control Synthesis for Time Petri Nets , 2006, 2006 8th International Workshop on Discrete Event Systems.

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

[21]  W. Wonham,et al.  Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..

[22]  Simona Bernardi,et al.  Computation of Performance Bounds for Real-Time Systems Using Time Petri Nets , 2009, IEEE Transactions on Industrial Informatics.

[23]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[24]  Parisa Heidari,et al.  Maximally permissive controller synthesis for time Petri nets , 2013, Int. J. Control.

[25]  MengChu Zhou,et al.  Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems , 2017, IEEE Transactions on Automatic Control.

[26]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

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

[28]  George Jiroveanu,et al.  A distributed approach for fault detection and diagnosis based on Time Petri Nets , 2006, Math. Comput. Simul..

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

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

[31]  B. De Schutter,et al.  Fault Diagnosis for Time Petri Nets , 2006, 2006 8th International Workshop on Discrete Event Systems.

[32]  Francesco Basile,et al.  A hybrid model for real time simulation of urban traffic , 2012 .