Learn More
The theory of regions has been recognized as the optimal deadlock prevention policy based on the marking/transition-separation instance (MTSI) or the event-state-separation-problem (ESSP) method for obtaining a maximally permissive controller in existing literature. All legal and live maximal behavior of the Petri nets model can be held by using above(More)
A transition-controlled deadlock detection and recovery prevention policy is presented for a subclass of Petri nets used to model flexible manufacturing systems. The subclass is called systems of simple sequential processes with resources (S<sup>3</sup>PR). The proposed policy is different from the standard deadlock prevention policies. Instead of adding(More)
Petri nets have been recognized as one of the most powerful tools for modeling flexible manufacturing systems (FMSs). Deadlock prevention policies are used to solve the deadlock problems of FMSs. It is well known that theory of regions is the efficient method for obtaining maximally permissive controllers. All legal and live maximal behavior of Petri net(More)