Supervision Based on Place Invariants: A Survey

The supervision based on place invariants (SBPI) is an efficient technique for the supervisory control of Petri nets. This paper reveals the significance of the SBPI based on a literature survey, applications, and an analysis of problems and supervisory settings that can be addressed using SBPI. Special attention is given to the various settings within which the problem can be formulated. Such settings can be distinguished based on the concurrency type, the type of controllability and observability, and the centralized or decentralized type of supervision. As we show, it is possible to approach the most general settings in a purely structural way, without resorting to reachability analysis. We begin by describing the SBPI problem and the literature methods that address this problem or are related to it. Then, we proceed to show classes of problems that can be reduced to the SBPI problem. In the SBPI, the specification is described as a system of inequalities that the Petri net marking must satisfy at any time. However, as we show, problems involving more general specifications can be approached in the SBPI setting, sometimes under additional assumptions, by performing net and/or specification transformations. Four of the specifications we will consider are logic constraints, language specifications, disjunctions of linear constraints, and liveness. We conclude with a presentation of possible applications of the SBPI approach to programming with semaphores, fault tolerance, and synchronic-distance based designs.

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

[2]  Alexander B. Kurzhanski,et al.  Discrete Event Systems: Models and Applications , 1988 .

[3]  Chen Haoxun.  Monitor-Based Control of A Class of Controlled Petri Nets with Generalized Mutual Exclusion Constraints , 1995 .

[4]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..

[5]  Ratnesh Kumar,et al.  Supervisory control of deterministic Petri nets with regular specification languages , 1996, IEEE Trans. Autom. Control..

[6]  Jean-Pierre Quadrat,et al.  11th International Conference on Analysis and Optimization of Systems Discrete Event Systems , 1994 .

[7]  Alexander Schrijver,et al.  Theory of linear and integer programming , 1986, Wiley-Interscience series in discrete mathematics and optimization.

[8]  P. Ramadge.  Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata , 1989 .

[9]  S. Rao Kosaraju,et al.  Limitations of Dijkstra's Semaphore Primitives and Petri nets , 1973, SOSP '73.

[10]  H. P. Williams,et al.  Model Building in Mathematical Programming , 1979 .

[11]  W. Wonham,et al.  Control of vector discrete-event systems. II. Controller synthesis , 1994, IEEE Trans. Autom. Control..

[12]  P. Ramadge,et al.  Modular Feedback Logic for Discrete Event Systems , 1987 .

[13]  M.V. Iordache,et al.  A structural approach to the enforcement of language and disjunctive constraints , 2005, Proceedings of the 2005, American Control Conference, 2005..

[14]  Nidhal Rezg,et al.  Supervisory control of partially observable marked graphs , 2004, IEEE Transactions on Automatic Control.

[15]  Panos J. Antsaklis,et al.  Admissible decentralized control of Petri nets , 2003, Proceedings of the 2003 American Control Conference, 2003..

[16]  Chen Haoxun.  Control Synthesis of Petri Nets Based on S-Decreases , 2000 .

[17]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[18]  Jonghun Park,et al.  Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states , 2002, IEEE Trans. Robotics Autom..

[19]  René K. Boel,et al.  Structuring Acyclic Petri Nets for Reachability Analysis and Control , 2002, Discret. Event Dyn. Syst..

[20]  René Boel,et al.  On forbidden state problems for a class of controlled Petri nets , 1995, IEEE Trans. Autom. Control..

[21]  Alessandro Giua,et al.  Decidability and closure properties of weak Petri net languages in supervisory control , 1995, IEEE Trans. Autom. Control..

[22]  Karl Henrik Johansson,et al.  Dynamical properties of hybrid automata , 2003, IEEE Trans. Autom. Control..

[23]  Alan J. Laub,et al.  Advanced Computing Concepts and Techniques in Control Engineering , 1988, NATO ASI Series.

[24]  Philippe Darondeau,et al.  Linear control of live marked graphs , 2003, Autom..

[25]  René K. Boel,et al.  Reduction of the supervisory control problem for Petri nets , 2000, IEEE Trans. Autom. Control..

[26]  G. Stremersch,et al.  Enforcing k-safeness in controlled state machines , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[27]  Bruce H. Krogh,et al.  Synthesis of feedback control logic for a class of controlled Petri nets , 1990 .

[28]  Manuel Silva.  Towards a synchrony theory for P/T nets , 1987 .

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

[30]  Panos J. Antsaklis,et al.  Decentralized control of Petri nets with constraint transformations , 2003, Proceedings of the 2003 American Control Conference, 2003..

[31]  Panos J. Antsaklis,et al.  Feedback control of Petri nets based on place invariants , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[32]  W. M. Wonham,et al.  Concurrent vector discrete-event systems , 1995 .

[33]  Zbigniew Suraj.  A Resource Applocation Problem , 1980, MFCS.

[34]  Alessandro Giua,et al.  A Survey of Petri Net Methods for Controlled Discrete Event Systems , 1997, Discret. Event Dyn. Syst..

[35]  Alessandro Giua,et al.  Supervisory design using Petri nets , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[36]  Panos J. Antsaklis,et al.  Synthesis of deadlock prevention supervisors using Petri nets , 2002, IEEE Trans. Robotics Autom..

[37]  Grzegorz Rozenberg,et al.  Concurrency and Nets: Advances in Petri Nets , 1987 .

[38]  C. H. Golaszewski,et al.  Supervisory control of discrete event processes with arbitrary controls , 1988 .

[39]  Bengt Lennartson,et al.  Hierarchical supervisory control for batch processes , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[40]  H. P. Williams.  Linear and integer programming applied to the propositional calculus , 1987 .

[41]  Chen Haoxun.  Net structure and control logic synthesis of controlled Petri nets , 1998, IEEE Transactions on Automatic Control.

[42]  Alonzo Church,et al.  Logic, arithmetic, and automata , 1962 .

[43]  Christoforos N. Hadjicostis,et al.  Monitoring Discrete Event Systems Using Petri Net Embeddings , 1999, ICATPN.

[44]  Panos J. Antsaklis,et al.  Methods for the supervisory control of concurrent systems based on petri net abstractions , 2004 .

[45]  W. Wonham,et al.  Control of vector discrete-event systems. I. The base model , 1993, IEEE Trans. Autom. Control..

[46]  Alessandro Giua,et al.  On the choice of suboptimal monitors for supervisory control of Petri nets , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[47]  Chen Haoxun,et al.  Distributed Control of Discrete Event Systems Described by a Class of Controlled Petri Nets , 1991 .

[48]  Michael D. Lemmon,et al.  Dynamic reconfiguration of software objects using Petri nets and network unfolding , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[49]  Alessandro Giua,et al.  Blocking and controllability of Petri nets in supervisory control , 1994, IEEE Trans. Autom. Control..

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

[51]  Nidhal Rezg,et al.  Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system , 2003, IEEE Trans. Autom. Control..

[52]  Rüdiger Valk,et al.  The residue of vector sets with applications to decidability problems in Petri nets , 1985, Acta Informatica.

[53]  Jeffrey C. Kantor,et al.  Modeling and optimal control of discrete-event chemical processes using petri nets , 1991 .

[54]  J. G. Thistle.  Supervisory control of discrete event systems , 1996 .

[55]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[56]  Michael D. Lemmon,et al.  On the transformation of maximally permissive marking-based liveness enforcing supervisors into monitor supervisors , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[57]  Susanna Donatelli,et al.  Application and Theory of Petri Nets 1999 , 2003, Lecture Notes in Computer Science.

[58]  Kunihiko Hiraishi,et al.  Analysis and control of discrete event systems represented by petri nets , 1988 .

[59]  Wlodzimierz M. Zuberek,et al.  Petri net models of process synchronization mechanisms , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

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

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

[62]  Wilfried Brauer,et al.  Net Theory and Applications , 1980, Lecture Notes in Computer Science.

[63]  Michael D. Lemmon,et al.  Liveness enforcing monitors for safe and controllable Petri nets , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[64]  Spyros Reveliotis.  Real-time management of resource allocation systems : a discrete event systems approach , 2004 .

[65]  P.J. Antsaklis,et al.  Resilience to failures and reconfigurations in the supervision based on place invariants , 2004, Proceedings of the 2004 American Control Conference.

[66]  Alan A. Desrochers,et al.  Applications of Petri Nets in Manufacturing Systems: Modeling, Control, and Performance Analysis , 1994 .

[67]  B. Krogh,et al.  On closed-loop liveness of discrete event systems under maximally permissive control , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[68]  Panos J. Antsaklis,et al.  Design of T-liveness enforcing supervisors in Petri nets , 2003, IEEE Trans. Autom. Control..

[69]  Alessandro Giua,et al.  Supervisory control of railway networks with Petri nets , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[70]  Amir Pnueli,et al.  On the synthesis of a reactive module , 1989, POPL '89.

[71]  Bruce H. Krogh,et al.  Controlled Petri nets: A tutorial survey , 1994 .

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

[73]  René K. Boel,et al.  Decomposition of the supervisory control problem for Petri nets under preservation of maximal permissiveness , 2001, IEEE Trans. Autom. Control..

[74]  Kamel Barkaoui,et al.  Supervisory control of discrete event systems based on structure theory of Petri nets , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

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

[76]  Panos J. Antsaklis,et al.  Software Tools for the Supervisory Control of Petri Nets Based on Place Invariants , 2002 .

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

[78]  Alessandro Giua,et al.  Observability of place/transition nets , 2002, IEEE Trans. Autom. Control..

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

[80]  Chun-Hung Chen,et al.  Simulation Budget Allocation for Further Enhancing the Efficiency of Ordinal Optimization , 2000, Discret. Event Dyn. Syst..

[81]  Bruce H. Krogh,et al.  Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..

[82]  Ramavarapu S. Sreenivas.  On a minimally restrictive supervisory policy that enforces liveness in partially controlled free choice Petri nets , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[83]  Lawrence E. Holloway,et al.  A generalization of state avoidance policies for controlled Petri nets , 1996 .

[84]  Naoki Katoh,et al.  Resource Allocation Problems , 1998 .

[85]  Geert Stremersch,et al.  Supervision of Petri Nets , 2001, The Springer International Series on Discrete Event Dynamic Systems.

[86]  Peter J. Ramadge,et al.  Mutual exclusion problems for discrete event systems with shared events , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

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

[88]  Haoxun Chen,et al.  Control Synthesis of Petri Nets Based on S-Decreases , 2000, Discret. Event Dyn. Syst..

[89]  M. V. Iordache,et al.  Synthesis of supervisors enforcing general linear vector constraints in Petri nets , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[90]  Kurt Lautenbach,et al.  Elements of General Net Theory , 1979, Advanced Course: Net Theory and Applications.

[91]  Joaquín Ezpeleta,et al.  New methods for deadlock prevention and avoidance in concurrent systems , 2000 .