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.

Decentralized Supervisory Control of Generalized Mutual Exclusion Constraints in Petri Nets

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

Supervisor Synthesis For Enforcing Gmecs On A Controlled Petri Net

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

Forbidden State Avoidance Controller Synthesis for Petri Nets

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

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

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

Constraint Function Based Hierarchical Control of Discrete Event Systems

Control synthesis for a class of controlled Petri nets

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

Non‐blocking Decentralized Control of Discrete Event Systems Based on Petri Nets

A Hybrid Approach to Design Deadlock-Free Petri Net Controller for Discrete Event Systems

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

Petri Net Cascade Decomposition for Supervisory Control

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

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

Structural Controller for Logical Expression of Linear Constraints on Petri Nets

Monitor-based synthesis in enforcing disjunctive generalised mutual exclusion constraints

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

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