Abstract
Deadlocks are undesirable situation in flexible manufacturing systems (FMSs), which degrades the benefit derived from flexible manufacturing systems. Many researchers are working to overcome this problem, and a lot of methods have been developed to tackle the deadlock in FMSs. However, most of the methods in the literature provide a complex supervisory structure. This paper propose a new method of deadlock prevention for a flexible manufacturing system with a minimal supervisory structure, in which a new algorithm is developed to compute generalize mutual exclusion constrains (GMECs) for each process of the Petri net model of an FMS. The number of GMECs depends on the concurrent processes of the Petri net model. Control places are designed from the computed GMECs to enforce liveness of the Petri net model. The addition of control places to the uncontrolled Petri net provides a live controlled Petri net system with optimal control purposes.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
