An Efficient Deadlock Avoidance Policy for FMS Using ROPN

Abstract

This article shows a composed method for modeling the concurrent execution of working processes in flexible manufacturing systems (FMS) by a special class of Petri nets named Resource Oriented Petri nets (ROPN). Essentially, the type of net comes from the availability of system resources. The analysis of ROPN is used to characterize deadlock situations in terms of full markings for certain structure named PPC. For the sake of preventing the system from deadlocks, a policy is proposed based on a series of restrictions for resource allocation, without considering the presence of unmarked siphons in Process Oriented Petri net (POPN). Finally, a control strategy of deadlock avoidance is designed for ROPN, which is better than other control policy.