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.

Application of the Constrained Predicated Nets and Interval Logic to Production Systems

Structural Controller for Logical Expression of Linear Constraints on Petri Nets

Control synthesis for a class of controlled Petri nets

Constraint Function Based Hierarchical Control of Discrete Event Systems

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

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

Building Hybrid Real-Time Model in Water Industry Systems

MINLP Algorithms Mixed with Constraint Programming

Hybrid Petri Nets and Exploration of It′s Application

Building Hybrid Industrial Process Model Mixed with Rules

Petri Net Based Supervisor For Hybrid-Logic Linear Constraints

On Modeling and Optimal Control of a Class of Hybrid Systems

Modeling, safety verification and optimization of operating procedures in process systems using hybrid Petri nets

The Analysis of Production Process Management Model Based on Petri Nets

Extended Interval Temporal Logic for Undetermined Interval: Modeling and Linear Inference Using Time Petri Nets

The application of Coloured Petri nets in systems analysis

Application of Stochastic High-Level Petri Nets in Inhomogeneous Systems

Application of Net Reduction to Feedback Controller Design of Petri Nets

Integrated optimization of production and utility system planning in refining industry

Synthesis of supervisor enforcing Parikh constraints with uncontrollable transitions in Petri Nets

A Max-Plus Algebraic Model For Hybrid Timed Petri Nets And Supervisory Control