Transition-based deadlock control policy using reachability graph for flexible manufacturing systems
Most existing deadlock prevention policies deal with deadlock problems arising in flexible manufacturing systems modeled with Petri nets by adding control places.Based on the reachability graph analysis, this article proposes a novel deadlock control policy that ORIG HOT SAUCE recovers the system from deadlock and livelock states to legal states an