Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions

This paper describes a method for constructing a Petri-net-based controller for a discrete event system (DES) modelled by a Petri net. Assuming that an uncontrolled Petri net model of the DES and a set of forbidden state specifications are given, feedback control elements, i.e. a set of places and related transitions, with initial marking, are computed using the theory of regions, which is a formal synthesis technique for deriving Petri nets from automaton-based models. When feedback control elements are added to the uncontrolled Petri net model, the controlled (closed-loop) Petri net model of the system is obtained. The controlled Petri net model obtained is maximally permissive while guaranteeing that forbidden states do not occur. The proposed method is computationally efficient and does not suffer from the state explosion problem. Two examples are provided to show the applicability of the proposed method.

[1]  Joël Favrel,et al.  Hierarchical reduction method for analysis and decomposition of Petri nets , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[2]  Murat Uzam,et al.  The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems , 2004 .

[3]  Andrzej Ehrenfeucht,et al.  Partial (set) 2-structures , 1990, Acta Informatica.

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

[5]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

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

[7]  MengChu Zhou,et al.  Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach , 1998 .

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

[9]  Ramavarapu S. Sreenivas.  On asymptotically efficient solutions for a class of supervisory control problems , 1996, IEEE Trans. Autom. Control..

[10]  W. M. Wonham,et al.  Supervisory control of discrete event processes , 1982 .

[11]  P. Ramadge,et al.  Modular feedback logic for discrete event systems , 1987 .

[12]  Manuel Silva.  Las Redes de Petri : en la Automática y la Informática , 2002 .

[13]  Éric Badouel,et al.  On the Synthesis of General Petri Nets , 1996 .

[14]  Philippe Darondeau,et al.  Polynomial Algorithms for the Synthesis of Bounded Nets , 1995, TAPSOFT.

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

[16]  Philippe Darondeau,et al.  Theory of Regions , 1996, Petri Nets.

[17]  Murat Uzam,et al.  An Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models with Resources and the Theory of Regions , 2002 .

[18]  Nidhal Rezg,et al.  Supervisory Control in Discrete Event Systems Using the Theory of Regions , 2000 .

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

[20]  Murat Uzam,et al.  Using a Petri-Net-Based Approach for the Real-Time Supervisory Control of an Experimental Manufacturing System , 2000 .

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

[22]  Andrzej Ehrenfeucht,et al.  Partial (set) 2-structures , 1990, Acta Informatica.

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

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