A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models Export

@article{citeulike:3981331, abstract = {Abstract\ \ Siphons are very important in the analysis and control of deadlocks in a Petri net. However, it is quite time-consuming or even impossible to get the complete siphon enumeration of a Petri net. This paper focuses on the deadlock prevention problems in flexible manufacturing systems that are modeled with S4PR, a general class of Petri nets. The analysis of S4PR leads us to characterize deadlock situations in terms of insufficiently marked siphons. The method proposed in this paper is an iterative approach. At each iteration, a non-max-marked siphon is computed by solving a mixed integer linear programming problem. Then the siphon is max-marked through a P-invariant by adding a monitor place. This process is carried out until no non-max-marked siphon can be found in the net. As a result all the siphons in the net are max-controlled. Then the net becomes live. Without computing all the siphons, a monitor-based liveness-enforcing Petri net supervisor can be found with more permissive behavior. A number of flexible manufacturing examples are used to demonstrate the proposed methods.}, author = {Zhong, Chunfu and Li, Zhiwu}, citeulike-article-id = {3981331}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/s00366-008-0122-1}, citeulike-linkout-1 = {http://www.springerlink.com/content/x373434860937376}, day = {1}, doi = {10.1007/s00366-008-0122-1}, journal = {Engineering with Computers}, keywords = {citas, cites, deadlocks, nets, petri, siphons}, month = {September}, number = {3}, pages = {269--278}, posted-at = {2009-08-31 12:36:55}, priority = {2}, title = {A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models}, url = {http://dx.doi.org/10.1007/s00366-008-0122-1}, volume = {25}, year = {2009} }

TY - JOUR ID - citeulike:3981331 L3 - citeulike-article-id:3981331 N2 - Abstract  Siphons are very important in the analysis and control of deadlocks in a Petri net. However, it is quite time-consuming or even impossible to get the complete siphon enumeration of a Petri net. This paper focuses on the deadlock prevention problems in flexible manufacturing systems that are modeled with S4PR, a general class of Petri nets. The analysis of S4PR leads us to characterize deadlock situations in terms of insufficiently marked siphons. The method proposed in this paper is an iterative approach. At each iteration, a non-max-marked siphon is computed by solving a mixed integer linear programming problem. Then the siphon is max-marked through a P-invariant by adding a monitor place. This process is carried out until no non-max-marked siphon can be found in the net. As a result all the siphons in the net are max-controlled. Then the net becomes live. Without computing all the siphons, a monitor-based liveness-enforcing Petri net supervisor can be found with more permissive behavior. A number of flexible manufacturing examples are used to demonstrate the proposed methods. IS - 3 JF - Engineering with Computers EP - 278 TI - A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models VL - 25 SP - 269 KW - citas KW - cites KW - deadlocks KW - nets KW - petri KW - siphons AU - Zhong, Chunfu AU - Li, Zhiwu PY - 2009/09/01/ UR - http://dx.doi.org/10.1007/s00366-008-0122-1 ER -