Control of Elementary and Dependent Siphons in Petri Nets and Their Application

@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>}, author = {Li, Z. and Zhou, M. }, booktitle = {Systems, Man and Cybernetics, Part A, IEEE Transactions on}, citeulike-article-id = {2334344}, doi = {http://dx.doi.org/10.1109/TSMCA.2007.909548}, journal = {Systems, Man and Cybernetics, Part A, IEEE Transactions on}, keywords = {citas, control, deadlock, siphons}, number = {1}, pages = {133--148}, posted-at = {2008-02-05 11:00:03}, priority = {2}, 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} }

TY - JOUR ID - citeulike:2334344 L3 - citeulike-article-id:2334344 TI - Control of Elementary and Dependent Siphons in Petri Nets and Their Application T2 - Systems, Man and Cybernetics, Part A, IEEE Transactions on JF - Systems, Man and Cybernetics, Part A, IEEE Transactions on VL - 38 IS - 1 SP - 133 EP - 148 N2 - <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> KW - citas KW - control KW - deadlock KW - siphons AU - Li, Z AU - Zhou, M PY - 2008/// UR - http://dx.doi.org/10.1109/TSMCA.2007.909548 ER -