Efficient deadlock prevention policy in automated manufacturing systems using exhausted resources

To design supervisors enforcing liveness of automated manufacturing systems (AMS), an efficient deadlock prevention policy based on the exhausted resources is proposed. This policy exploits a special structure of Petri nets in the sense that the liveness of a specific system can be guaranteed if no shared resource can be emptied. In contrast to the typical conventional policies, the explicit enumeration of either the reachable states or the siphons can be avoided. Experimental results verify the efficient implementation of the proposed policy.