Abstract:This paper describes a method for synthesizing an optimal supervisor for a controlled Petri net. The considered class of control problems is to enforce a conjunction of general mutual exclusion constraints (GMEC) on a controlled Petri net, in which the influence uncontrollable subnets are forward synchronization and backward conflict free (FSBCF) nets. An FSBCF net is an ordinary Petri net in which each transition has exactly one input place, and each place has exactly one output transition. Its properties are given. Based on these properties, the criterion of the admissible markings is obtained in the form of a conjunction of linear inequalities. Then it is utilized to obtain the necessary and sufficient condition of the existence of the supervisor, and to construct the method to synthesize the optimal supervisor. Note that the supervisor can be online computed within polynomial times. The theoretical results are illustrated by the synthesis of the output-port controllers (OPC) of an asynchronous transfer mode (ATM) switch

Optimal monitor-based supervisor sythesis for a class of Petri nets with unobservable transitions

Supervisor Synthesis for Enforcing Linear Constraints on A Class of Petri Nets with Unobservable Transitions

Supervisor Synthesis for a Class of Forbidden State Problems in Petri Nets

Supervisor Synthesis for Enforcing a Class of Generalized Mutual Exclusion Constraints on Petri Nets

Supervisor Synthesis For A Class Of Control Problems In Discrete Event Systems

Supervisor Synthesis For Enforcing Gmecs On A Controlled Petri Net

Supervisor design for a class of generalized Petri net with uncontrollable transitions

Forbidden State Avoidance Controller Synthesis for Petri Nets

Supervisor Synthesis for Bounded Petri Nets Based on a Transformation Function.

Control synthesis for a class of controlled Petri nets

Supervisor synthesis for a class of discrete event systems

Comments on “simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis”

Constraint Function Based Hierarchical Control of Discrete Event Systems

On the Enforcement of A Class of Constraint in Petri Nets

Supervisory control of discrete event systems based on inhibitor arc petri nets:A survey

State feedback based deadlock-free supervisor synthesis for bounded Petri nets

A synthesis approach to Petri nets with combined place marking and transition firing constraint

Synthesis of Petri Net Controller to Enforce Conjunction of GMEC Using Observer.

Supervisory Control Of Discrete-Event Systems Using Enabling Arc Petri Nets

Supervisor Synthesis of Petri Net with Uncontrollable Transitions

Decentralized Supervisory Control of Generalized Mutual Exclusion Constraints in Petri Nets