Abstract
For a system of sequential systems with shared resources (S4R), a typical class of Petri net models of flexible manufacturing systems (FMS), current deadly marked siphon (DMS) detection approaches based on mixed integer programming (MIP) cannot detect siphons that cause livelocks in systems. Thus a deadlock-free system cannot be further controlled. Moreover, most of these methods cannot obtain a minimal DMS directly. This study proposes the concept of extended DMS (EDMS) on the basis of max″-controllability condition of siphons. Accordingly, a more general MIP testing approach that can detect the minimal EDMS that cause deadlocks or livelocks in S4R is presented to lay foundations for further analysis and control. The authors conclude that an S4R is live if there is no feasible solution to this new MIP test. Compared with the existing methods, the proposed one is more general and powerful. Experimental studies are used to illustrate it.
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.
