This paper present a siphon-based algorithm of deadlock prevention for a type of Petri nets called S/sup 3/PMR, a subclass of S/sup 3/PGR/sup 2/. The proposed method is an iterative approach by adding two kinds of control places called ordinary control places and weighted control places to the original model to prevent siphons from being unmarked. An ordinary control place with ordinary arcs that optimally prevents the related siphon from becoming unmarked is employed whenever it is possible and otherwise weighted control places that adopt a conservative policy of controlling the release of parts into the system are used. Furthermore, this algorithm is not only for the subclass Petri nets but also for S/sup 3/PR, ES/sup 3/PR, S/sup 2/LSPR and S/sup 3/PGR/sup 2/ nets.
%0 Conference Proceedings
%1 HuangLinLin2005
%A Huang, Yi-Sheng
%A Lin, Jenn-Huei
%A Lin, Jyh-Tsong
%D 2005
%J Systems, Man and Cybernetics, 2005 IEEE International Conference on
%K citas, citeulike deadlock, supervisory
%P 2530--2535 Vol. 3
%T A siphon-based deadlock prevention policy for flexible manufacturing systems
%U http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1571529
%V 3
%X This paper present a siphon-based algorithm of deadlock prevention for a type of Petri nets called S/sup 3/PMR, a subclass of S/sup 3/PGR/sup 2/. The proposed method is an iterative approach by adding two kinds of control places called ordinary control places and weighted control places to the original model to prevent siphons from being unmarked. An ordinary control place with ordinary arcs that optimally prevents the related siphon from becoming unmarked is employed whenever it is possible and otherwise weighted control places that adopt a conservative policy of controlling the release of parts into the system are used. Furthermore, this algorithm is not only for the subclass Petri nets but also for S/sup 3/PR, ES/sup 3/PR, S/sup 2/LSPR and S/sup 3/PGR/sup 2/ nets.
@proceedings{HuangLinLin2005,
abstract = {{This paper present a siphon-based algorithm of deadlock prevention for a type of Petri nets called S/sup 3/PMR, a subclass of S/sup 3/PGR/sup 2/. The proposed method is an iterative approach by adding two kinds of control places called ordinary control places and weighted control places to the original model to prevent siphons from being unmarked. An ordinary control place with ordinary arcs that optimally prevents the related siphon from becoming unmarked is employed whenever it is possible and otherwise weighted control places that adopt a conservative policy of controlling the release of parts into the system are used. Furthermore, this algorithm is not only for the subclass Petri nets but also for S/sup 3/PR, ES/sup 3/PR, S/sup 2/LSPR and S/sup 3/PGR/sup 2/ nets.}},
added-at = {2017-09-08T10:52:59.000+0200},
author = {Huang, Yi-Sheng and Lin, Jenn-Huei and Lin, Jyh-Tsong},
biburl = {https://www.bibsonomy.org/bibtex/2f8cc3b19648db23e0b5581368d0408f1/fernand0},
citeulike-article-id = {832208},
citeulike-linkout-0 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1571529},
interhash = {9aac3b389c0a52e81ad81636230fa825},
intrahash = {f8cc3b19648db23e0b5581368d0408f1},
journal = {Systems, Man and Cybernetics, 2005 IEEE International Conference on},
keywords = {citas, citeulike deadlock, supervisory},
pages = {2530--2535 Vol. 3},
posted-at = {2006-09-06 11:58:33},
priority = {2},
timestamp = {2017-09-08T10:53:23.000+0200},
title = {{A siphon-based deadlock prevention policy for flexible manufacturing systems}},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1571529},
volume = 3,
year = 2005
}