A Method for Deadlock Prevention in Discrete Event Systems Using Petri Nets

Deadlock is the condition of a system that has reached a state in which all of its potential actions are blocked. This paper introduces a deadlock prevention method for discrete events systems modeled by Petri nets. Petri nets have a bipartite graph structure and they are particularly well suited to model concurrencies found in manufacturing, communication and computer systems, among others. Given an arbitrary Petri net structure, the deadlock prevention algorithm in this paper finds linear inequalities in terms of the marking (state vector). When the Petri net is supervised according to the constraints provided by the algorithm, the supervised net is proved to be deadlock-free for all initial markings that satisfy the supervision constraints. Results pertaining to permissivity properties and termination are also proved. The algorithm is applicable to any Petri net with controllable and observable transitions.

[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]  Michel Hack,et al.  ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS , 1972 .

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

[4]  René David,et al.  Petri nets for modeling of dynamic systems: A survey , 1994, Autom..

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

[6]  P. Antsaklis,et al.  Reduced-order controllers for continuous and discrete-time singular H ∞ control problems based on LMI , 1996 .

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

[8]  Arie Shoshani,et al.  System Deadlocks , 1971, CSUR.

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

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

[11]  A. Gurel,et al.  Analysis of deadlocks and circular waits using a matrix model for discrete event systems , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[12]  Andrew S. Tanenbaum,et al.  Distributed operating systems , 2009, CSUR.

[13]  Manuel Silva Suárez,et al.  A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets , 1991, Applications and Theory of Petri Nets.

[14]  Kurt Lautenbach,et al.  The Linear Algebra of Deadlock Avoidance - A Petri Net Approach , 1996 .

[15]  Ramavarapu S. Sreenivas.  An Application of Independent, Increasing, Free-Choice Petri Nets to the Synthesis of Policies that Enforce Liveness in Arbitrary Petri Nets , 1998, Autom..

[16]  M. Malik,et al.  Operating Systems , 1992, Lecture Notes in Computer Science.

[17]  G. Nemhauser,et al.  Integer Programming , 2020 .

[18]  R. Sreenivas.  On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets , 1997, IEEE Trans. Autom. Control..

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

[20]  Kamel Barkaoui,et al.  Deadlock avoidance in FMS based on structural theory of Petri nets , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.

[21]  Erwin R. Boer,et al.  Generating basis siphons and traps of Petri nets using the sign incidence matrix , 1994 .

[22]  Panos J. Antsaklis,et al.  Supervisory control of Petri nets with uncontrollable/unobservable transitions , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[23]  K. Lautenback.  Linear algebraic calculation of deadlocks and traps , 1987 .

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

[25]  Kamel Barkaoui,et al.  On Liveness and Controlled Siphons in Petri Nets , 1996, Application and Theory of Petri Nets.