%0 Conference Proceedings %1 WangLiJia04 %A Wang, A. R. %A Li, Z. W. %A Jia, J. Y. %D 2004 %J Industrial Electronics Society, 2004. IECON 2004. 30th Annual Conference of IEEE %K citas, citeulike deadlock, supervisory %P 1896--1901 Vol. 2 %T A Petri nets based deadlock avoidance policy for flexible manufacturing systems %U http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1431873 %V 2 %X Developed in this paper is a new deadlock avoidance strategy for flexible manufacturing systems, which is based on Petri nets and their structural analysis. The deadlock avoidance policy only uses partial reachability graph of the Petri net without the computations for the whole reachability graph, this deadlock avoidance approach is first to compute some special states or markings, such as deadlock markings, bad markings, and dangerous markings we call. In a bad state (marking), the system (Petri net) will inevitably reach a deadlock, whereas in a dangerous state, the system may not reach a deadlock if the firings of enabled transitions are properly controlled by supervisory control The deadlock avoidance policy presented here is in fact to make the system never reach a bad state. The major advantage of the technique lies in the fact that It is suitable for much larger Petri nets than that of the most existing deadlock avoidance policies and the supervisory control is maximally permissive. Meanwhile, the computation is successfully avoided for the whole reachability graph of the Petri net of the system.

@proceedings{WangLiJia04, abstract = {{Developed in this paper is a new deadlock avoidance strategy for flexible manufacturing systems, which is based on Petri nets and their structural analysis. The deadlock avoidance policy only uses partial reachability graph of the Petri net without the computations for the whole reachability graph, this deadlock avoidance approach is first to compute some special states or markings, such as deadlock markings, bad markings, and dangerous markings we call. In a bad state (marking), the system (Petri net) will inevitably reach a deadlock, whereas in a dangerous state, the system may not reach a deadlock if the firings of enabled transitions are properly controlled by supervisory control The deadlock avoidance policy presented here is in fact to make the system never reach a bad state. The major advantage of the technique lies in the fact that It is suitable for much larger Petri nets than that of the most existing deadlock avoidance policies and the supervisory control is maximally permissive. Meanwhile, the computation is successfully avoided for the whole reachability graph of the Petri net of the system.}}, added-at = {2017-09-08T10:52:59.000+0200}, author = {Wang, A. R. and Li, Z. W. and Jia, J. Y.}, biburl = {https://www.bibsonomy.org/bibtex/27f3317150994be21fe824d4c109f43f4/fernand0}, citeulike-article-id = {833506}, citeulike-linkout-0 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1431873}, interhash = {4e4c265d2896bb78b35942bdeda7bcc2}, intrahash = {7f3317150994be21fe824d4c109f43f4}, journal = {Industrial Electronics Society, 2004. IECON 2004. 30th Annual Conference of IEEE}, keywords = {citas, citeulike deadlock, supervisory}, pages = {1896--1901 Vol. 2}, posted-at = {2006-09-07 09:55:27}, priority = {2}, timestamp = {2017-09-08T10:53:23.000+0200}, title = {{A Petri nets based deadlock avoidance policy for flexible manufacturing systems}}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1431873}, volume = 2, year = 2004 }