Abstract:Based on the P-type composition of Petri nets (PNs) defined in this paper, a framework for a structural control of discrete event systems (DESs) is constructed such that a closed-loop PN is obtained by composing a plant PN and a controller. As for a disjunction or conjunctive normal form (CNF) of linear constraints, a new approach is proposed to design a structural controller in this framework. First, a switching-net is defined for a disjunction of constraints, and an extended plant is obtained through the P-type composition of a plant PN and switching-net. Second, the disjunction of bounded constraints is transformed into a conjunction of switching-constraints on the extended plant. Third, a controller is synthesized by designing monitors for conjunctive switching-constraints according to a supervision-based-on-place-invariant method. Fourth, in a similar manner, a controller is also designed for a CNF of bounded constraints. The resulting controller is maximally permissive if each disjunction of constraints meets the jump-free condition, and its size grows polynomially with the number of constraints. Another advantage is that the closed-loop system is still a PN for many real DES since a CNF can describe not only convex but also nonconvex state regions.

On the Enforcement of A Class of Constraint in Petri Nets

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

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

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

Supervisor Synthesis For Enforcing Gmecs On A Controlled Petri Net

Structural Controller for Logical Expression of Linear Constraints on Petri Nets

Control synthesis for a class of controlled Petri nets

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

Constraint Function Based Hierarchical Control of Discrete Event Systems

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

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

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

Colored Petri net control of OR-logic

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

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

A Method for the Design of Petri Net Controller Enforcing General Linear Constraints

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

Forbidden State Avoidance Controller Synthesis for Petri Nets

An Extension of the Linear Integer Program Approach for Controller Synthesis of Des Modeled by Petri Nets

Synthesis of Petri nets controller for the constraints involving marking vector and Parikh vector

Synthesis of Petri nets controller for discrete event systems based on finite capacity places-Part 2