On forbidden state problems in a general class of non-ordinary controlled Petri nets

A method is proposed for solving the forbidden state problem in a general class of non-ordinary controlled Petri nets (NCPNs). A concept of step-aligned subnets is introduced to handle the behavior of reachable markings in NCPNs. In addition, the step-alignment algorithm is developed to transform any loop-free subnets into step-aligned subnets. New procedures called the step-evaluation method and the forbidden condition reduction algorithm (FCRA) are developed to efficiently check admissible/boundary conditions given forbidden conditions and to reduce the computational complexity.

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

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

[3]  A. Giua,et al.  Easy synchronized Petri nets as discrete event models , 1990, 29th IEEE Conference on Decision and Control.

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

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

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

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

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

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

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

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

[12]  Wook Hyun Kwon,et al.  A synthesis of state avoidance policies for a class of controlled Petri nets with weighted arcs , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.