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, i...

Full description

Bibliographic Details
Published in:Engineering Proceedings
Main Authors: Shih-Chih Lee, Jui-Fu Cheng, Ter-Chan Row
Format: Article
Language:English
Published: MDPI AG 2025-09-01
Subjects:
petri net system
control place
places invariant
reachability state
Online Access:https://www.mdpi.com/2673-4591/108/1/37

Internet

https://www.mdpi.com/2673-4591/108/1/37

Similar Items