Supervisory control is usually considered as an external control mechanism to a system by
controlling the occurrences of its controllable events. There exist Petri net models whose …

This paper illustrates that Petri nets with self-loops are more powerful than pure nets in
modeling and control of flexible manufacturing systems. A self-loop in a Petri net cannot be …

Deadlock prevention plays an important role in the modeling and control of flexible
manufacturing systems (FMS). This paper presents a novel and computationally efficient …

In this paper, a deadlock prevention policy for flexible manufacturing systems (FMS) is
proposed, which can obtain a maximally permissive liveness-enforcing Petri net supervisor …

Deadlocks are an undesirable situation in automated flexible manufacturing systems (FMS).
Their occurrences often deteriorate the utilization of resources and may lead to catastrophic …

This paper develops a place invariant based deadlock prevention method to obtain an
optimal, ie, maximally permissive, liveness-enforcing Petri net supervisor with a minimal …

This paper develops a place invariant based deadlock prevention method to obtain a
maximally permissive Petri net supervisor with the lowest implementation cost. A supervisor …

This paper presents a new Petri net structure, namely, an interval inhibitor arc, and its
application to the optimal supervisory control of Petri nets. An interval inhibitor arc is an arc …

Sensors and actuators are two indispensable parts in the paradigm of feedback control.
Their implementation cost should be properly evaluated and constrained. In the previous …

This work proposes a novel structure in Petri nets, namely data inhibitor arcs, and their
application to the optimal supervisory control of Petri nets. A data inhibitor arc is an arc from …