Abstract

Siphons can be used to characterize deadlock states to solve deadlock problems in a class of Petri nets that represent models of flexible manufacturing system (FMS). This paper presents a deadlock prevention method for a class of FMS, where the unmarked siphons in their Petri net models cause the deadlocks. Based on Petri nets, a deadlock prevention policy is proposed for a special class of Petri nets called System of Simple Sequential Processes with Resources (S3PR) and the deadlock prevention problems can be characterized in terms of Petri net structural elements called siphons. The monitors are used to prevent the presence of unmarked siphons that are the direct cause of deadlocks in such a Petri net. Deadlock analysis and control techniques based on the structural theory of Petri nets attempt to find a relationship between liveness of a net and its structure, which relies on the concepts of elementary and dependent siphons. The siphon control has been applied in Petri nets by adding a control place for each elementary siphon to make sure it is deadlock-free.

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 call

Disclaimer: 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.