Deadlock Prevention Policy for Flexible Manufacturing Systems: Petri Net-Based Approach Utilizing Iterative Synthesis and Places Invariant
Year: 2025
Type: conference-paper
Abstract: 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.
Authors: Shih-Chih Lee, Jui-Fu Cheng, Ter-Chan Row
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold
OpenAlex ID: W4414214477