Deadlock Prevention Policy for Flexible Manufacturing Systems: Petri Net-Based Approach Utilizing Iterative Synthesis and Places Invariant

An iterative method was developed in this study within a Petri net system (PNS) for flexible manufacturing systems (FMSs) to eliminate deadlocks. The algorithm employs variant tokens, ranging from a few to many, in idle places to identify subnet deadlocks through reachability states. Additionally, it utilizes the place invariant (PI) to resolve deadlocks. An algorithm with a simple example was developed and applied using a complex scenario. The developed algorithm is user-friendly and effectively eliminates deadlocks in the PNS of FMSs, producing optimal results.