Abstract
Deadlock-free operations of automated manufacturing systems (AMS) are essential for high machine utilization and productivity. Based on resource-oriented Petri net models of AMS and our previous work on a necessary and sufficient condition for deadlock-free operation, this paper proposes a new control policy such that it can avoid deadlock completely, and reduce starvation and blocking situations significantly.