Research Article

One Novel and Optimal Deadlock Recovery Policy for Flexible Manufacturing Systems Using Iterative Control Transitions Strategy

Table 3

The flow step of our novel deadlock recovery policy.

Maximally Permissive Deadlock Recovery Policy

(i) Input: one deadlock S3PR PNM.
(1) Identify the saturated number of tokens in idle places.
(2) Identify the crucial dead markings from reachability graph.
(3) Calculate all control transitions.
(4) Add all control transitions into original PNM.
(ii) Output: one live S3PR PNM.