A Process-Oriented Deadlock Recovery Policy for Flexible Manufacturing Systems

This paper proposes a deadlock recovery method for flexible manufacturing systems modeled with Petri nets. Recovery transitions are added to the net allowing to return from all the deadlock markings to the legal ones. Unlike similar methods based on the recovery transitions, the proposed recovery policy focuses on process instances of the system. Its aim is to reset the lowest number of them, with minimal executed number of steps in a process instance. The proposed approach is formally analysed regarding its correctness and complexity, as well as illustrated with some widely used examples and compared with the similar known methods. The comparison shows that the presented method is efficient, despite the slightly different optimization criteria than used in other similar methods.