Learn 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)