Abstract: Deadlocks are a constant issue in flexible manufacturing systems (FMSs). Circular wait is a necessary condition of deadlocks. In the framework of Petri nets modeling FMSs, deadlocks have a ...