Abstract:For practical automated manufacturing systems (AMSs), the time dimension is of great significance and should be integrated in their plant models. Reasonably, many of the realistic general mutual exclusion constraints (GMECs) imposed on these discrete models should be timed rather than merely algebraic or logic. In the past, such a problem was studied on the basis of the Ramadge-Wonham supervisory control technique (SCT) and the theory of regions. It proves to be NP-hard since it necessitates the generation of reachability graphs. This paper shows that it can be solvable in polynomial time by using generalized linear constraints, which are originally proposed to increase the expressive power of the linear marking constraints. By dividing each constraint into marking, firing vector, and Parikh terms, its respective control place can be synthesized algebraically without considering the separation of dangerous states and events. Several examples are used to validate the effectiveness and efficiency of the proposed approach.Note To Practitioners-This paper concerns about the supervisor design with the involvement of global time information, which is motivated by industrial applications where time dimension is crucial for their elaborate characterization. These applications, particularly arising in AMS, show that supervisory control specifications may be strongly related to time and would be quite impractical without taking into account indices such as global time. Previously, such a problem is proposed to be dealt with through a methodology based on the Ramadge-Wonham approach and the theory of regions, which is ineffective owing to the excessive computational time. The goal of this paper is to propose an algebraic synthesis method that can tackle this problem effectively yet remain tractable. Both theoretical and experimental results demonstrate that effective supervisors can be obtained in a computationally efficient way. Practitioners can easily implement these supervisors.

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

Supervisor Synthesis For Enforcing Gmecs On A Controlled Petri Net

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

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

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

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

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

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

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

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

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

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

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

A deadlock prevention approach for a class of time petri nets based on SCG

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

Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets

Time-Varying Automated Manufacturing Systems and Their Invariant-Based Control: A Petri Net Approach

Decentralized Supervisory Control of Generalized Mutual Exclusion Constraints in Petri Nets

A class of extended time Petri nets for modeling and simulation of discrete event systems