Abstract:Generalized mutual exclusion constraints (GMECs) are a class of state specifications on Petri nets (PNs). They are generally enforced on the nets by a simple control structure called control places (monitors). Unfortunately, this conventional procedure is implemented in an offline and monolithic manner, which suffers from computational difficulty and is arduous for the control of a system in real time. Additionally, the flexibility and fault tolerance of such a method are somewhat unacceptable, and the method suffers from a lack of adaptability to net variations incurred by system reconfiguration, communication failure, and constraint integration. This article aims to enforce GMECs for a live PN model by using critical places and marking estimation. First, we define GMECs on some so-called critical places, such that the satisfaction of the GMECs can be determined by only monitoring the number of tokens in their corresponding critical places during runtime. Then, an efficient and effective control strategy is developed such that the controllers forbid all those transition firings that lead to the violated GMECs based on the estimated markings of critical places derived by observers from a resource perspective rather than exploring the markings of the entire system. Finally, we present procedures to deal with decision deadlocks, which are induced by one-sided decisions made by some controllers and may prevent all enabled transitions from firing. Global GMECs are always implemented through the local observation and control of processes without knowing an extra information.

An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems

Supervisor Synthesis For Enforcing Gmecs On A Controlled Petri Net

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

Forbidden State Avoidance Controller Synthesis for Petri Nets

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

An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions

Supervisor design for a class of generalized Petri net with uncontrollable 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

Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems

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

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

A Reduced Computation of State Space to Enforce GMECs and Deadlock-Freeness on TPN Systems

Synthesis of Structurally Simple Supervisors Enforcing Generalized Mutual Exclusion Constraints in Petri Nets

Decentralized Supervisory Control of Generalized Mutual Exclusion Constraints in Petri Nets

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

Implementation of Generalized Mutual Exclusion Constraints Using Critical Places and Marking Estimation

Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints.

A monitor solution to enforce legal transition firing sequences problems by using Petri nets

Design of an Improved Think Globally Act Locally Approach for the Computation of Petri Nets Based Liveness Enforcing Supervisors of FMSs

An approach to determine controllability of monolithic supervisors