Abstract:This paper proposes an iterative approach to separate a set of admissible markings of a nonlinear constraint into a number of subsets. At each iteration, we find a maximal subset of admissible markings that are separated from inadmissible markings by linear constraints. Then, the union of all the obtained subsets constitutes the set of all admissible markings. For each subset of admissible markings, we obtain a set of conjunctive linear constraints. Accordingly, we can equivalently transform a given nonlinear constraint to be a set of disjunctive/conjunctive linear constraints, which can deal with the case that both admissible and inadmissible marking spaces of a nonlinear constraint cannot be separated by linear constraints from each other. Furthermore, we propose a method to design a Petri net supervisor for a derived set of disjunctive/conjunctive constraints. Some examples are used to demonstrate the proposed approach. Note to Practitioners—Linear constraints on Petri nets have been widely studied in the literature. However, not all control specifications can be represented as linear constraints. This paper proposes to enforce nonlinear constraints on Petri nets. A maximally permissive supervisor is designed to make the controlled net live with all admissible markings with respect to a given nonlinear constraint. Meanwhile, the structural complexity is also considered by compressing the number of control places in the supervisor. Experimental results show that the proposed approach can implement the control specifications represented by nonlinear constraints.

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

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

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 Bounded Petri Nets Based on a Transformation Function.

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

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

Forbidden State Avoidance Controller Synthesis for Petri Nets

Control synthesis for a class of controlled Petri nets

Supervisor synthesis for a class of discrete event systems

Supervisor Synthesis For Enforcing Gmecs On A Controlled Petri Net

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

On the Enforcement of A Class of Constraint in Petri Nets

Constraint Function Based Hierarchical Control of Discrete Event Systems

Supervisor Synthesis of Petri Net with Uncontrollable Transitions

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

On the enforcement of a class of nonlinear constraints on Petri nets

On Optimal Supervisor Design for Discrete-Event Systems Modeled with Petri Nets Via Constraint Simplification

On behaviorally and structurally optimal supervisor to solve forbidden state problems in discrete event systems.

Design of Optimal Supervisors for the Enforcement of Nonlinear Constraints on Petri Nets

Optimal Supervisor Design for Partially Controllable Petri Nets