<para> The importance of siphons is well recognized in the analysis and control of deadlocks in a Petri net. To minimize the number of siphons that have to be explicitly controlled, siphons in a net are divided in a net into elementary and dependent ones. The concepts of token-rich, token-poor, and equivalent siphons are newly presented. More general conditions under which a dependent siphon can be always marked are established. The existence of dependent siphons in a Petri net is investigated. An algorithm is developed to find the set of elementary siphons in a net system for deadlock control purposes. The application of the proposed elementary siphon concept to the existing deadlock control policies is discussed. A few different-sized manufacturing examples are used to demonstrate the advantages of elementary siphon-based policies. The significant value of the proposed theory via a particular deadlock control policy is shown. Finally, some interesting and open problems are discussed. </para>
%0 Journal Article
%1 citeulike:2334344
%A Li, Z.
%A Zhou, M.
%B Systems, Man and Cybernetics, Part A, IEEE Transactions on
%D 2008
%J Systems, Man and Cybernetics, Part A, IEEE Transactions on
%K citas, citeulike control, deadlock, siphons
%N 1
%P 133--148
%R 10.1109/tsmca.2007.909548
%T Control of Elementary and Dependent Siphons in Petri Nets and Their Application
%U http://dx.doi.org/10.1109/tsmca.2007.909548
%V 38
%X <para> The importance of siphons is well recognized in the analysis and control of deadlocks in a Petri net. To minimize the number of siphons that have to be explicitly controlled, siphons in a net are divided in a net into elementary and dependent ones. The concepts of token-rich, token-poor, and equivalent siphons are newly presented. More general conditions under which a dependent siphon can be always marked are established. The existence of dependent siphons in a Petri net is investigated. An algorithm is developed to find the set of elementary siphons in a net system for deadlock control purposes. The application of the proposed elementary siphon concept to the existing deadlock control policies is discussed. A few different-sized manufacturing examples are used to demonstrate the advantages of elementary siphon-based policies. The significant value of the proposed theory via a particular deadlock control policy is shown. Finally, some interesting and open problems are discussed. </para>
@article{citeulike:2334344,
abstract = {{<para> The importance of siphons is well recognized in the analysis and control of deadlocks in a Petri net. To minimize the number of siphons that have to be explicitly controlled, siphons in a net are divided in a net into elementary and dependent ones. The concepts of token-rich, token-poor, and equivalent siphons are newly presented. More general conditions under which a dependent siphon can be always marked are established. The existence of dependent siphons in a Petri net is investigated. An algorithm is developed to find the set of elementary siphons in a net system for deadlock control purposes. The application of the proposed elementary siphon concept to the existing deadlock control policies is discussed. A few different-sized manufacturing examples are used to demonstrate the advantages of elementary siphon-based policies. The significant value of the proposed theory via a particular deadlock control policy is shown. Finally, some interesting and open problems are discussed. </para>}},
added-at = {2017-09-08T10:52:59.000+0200},
author = {Li, Z. and Zhou, M.},
biburl = {https://www.bibsonomy.org/bibtex/29d5a817efb0172ea57b9bb8c788ed2a1/fernand0},
booktitle = {Systems, Man and Cybernetics, Part A, IEEE Transactions on},
citeulike-article-id = {2334344},
citeulike-linkout-0 = {http://dx.doi.org/10.1109/tsmca.2007.909548},
citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4404054},
doi = {10.1109/tsmca.2007.909548},
interhash = {9b90f19ff7d134a8a7dab89299bb8da8},
intrahash = {9d5a817efb0172ea57b9bb8c788ed2a1},
journal = {Systems, Man and Cybernetics, Part A, IEEE Transactions on},
keywords = {citas, citeulike control, deadlock, siphons},
number = 1,
pages = {133--148},
posted-at = {2008-02-05 11:00:03},
priority = {2},
timestamp = {2017-09-08T10:53:23.000+0200},
title = {{Control of Elementary and Dependent Siphons in Petri Nets and Their Application}},
url = {http://dx.doi.org/10.1109/tsmca.2007.909548},
volume = 38,
year = 2008
}