Petri net supervisors for DES with uncontrollable and unobservable transitions

A supervisor synthesis technique for Petri net plants with uncontrollable and unobservable transitions, that enforces the conjunction of a set of linear inequalities on the reachable markings of the plant, is presented. The approach is based on the concept of Petri net place invariants. Each step of the procedure is illustrated through a running example involving the supervision of a robotic assembly cell. The controller is described by an auxiliary Petri net connected to the plant's transitions, providing a unified Petri net model of the closed-loop system. The synthesis technique is based on the concept of admissible constraints. Procedures are given for identifying all admissible linear constraints for a plant with uncontrollable and unobservable transitions, as well as methods for transforming inadmissible constraints into admissible ones. A technique is described for creating a modified Petri net controller that enforces the union of all of these control laws. The method is practical and computationally inexpensive in terms of size, design time, and implementation complexity.

[1]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

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

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

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

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

[6]  Ekaterini C. Yamalidou.  Modeling, optimization and control of discrete-event chemical processes using Petri net theory , 1991 .

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

[8]  John N. Hooker,et al.  A quantitative approach to logical inference , 1988, Decis. Support Syst..

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

[10]  P. Ramadge,et al.  On the supremal controllable sublanguage of a given language , 1984, The 23rd IEEE Conference on Decision and Control.

[11]  Panos J. Antsaklis,et al.  Feedback Petri net control design in the presence of uncontrollable transitions , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

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

[13]  Shu-Cherng Fang,et al.  Linear Optimization and Extensions: Theory and Algorithms , 1993 .

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

[15]  S. Toumodge.  Applications of Petri Nets in Manufacturing systems; Modeling, Control, and Performance Analysis [Book review] , 1995, IEEE Control Systems.

[16]  Panos J. Antsaklis,et al.  Petri net supervisors for discrete event systems , 1998 .

[17]  Manuel Silva,et al.  A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[18]  W. Wonham,et al.  Controllability and observability in the state-feedback control of discrete-event systems , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[19]  Frank L. Lewis,et al.  Deadlock analysis using a new matrix-based controller for reentrant flow line design , 1996, Proceedings of the 1996 IEEE IECON. 22nd International Conference on Industrial Electronics, Control, and Instrumentation.

[20]  R. Sreenivas.  On Commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets , 1997 .

[21]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .

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

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

[24]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

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

[26]  F. L. Lewis,et al.  Matrix approach to deadlock avoidance of dispatching in multi-class finite buffer reentrant flow lines , 1997, Proceedings of 12th IEEE International Symposium on Intelligent Control.

[27]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[28]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

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

[30]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.