On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets

@article{citeulike:2557338, abstract = {<para> A fair amount of research has shown the importance of siphons in the analysis and control of deadlocks in a variety of resource allocation systems by using a Petri net formalism. In this paper, siphons in a generalized Petri net are classified into elementary and dependent ones, as done for ordinary nets in our previous work. Conditions are derived under which a dependent siphon is controlled by properly supervising its elementary siphons, which indicates that the controllability of dependent siphons in an ordinary Petri net is a special case of that in a generalized one. The application of the controllability of dependent siphons is shown by considering the deadlock prevention problem for a class of resource allocation systems, namely, G-system that allows multiple resource acquisitions and flexible routings in a flexible manufacturing system with machining, assembly, and disassembly operations. We develop a monitor-based deadlock prevention policy that first adds monitors for elementary siphons only to a G-system plant model such that the resultant net system satisfies the maximal controlled-siphon property (maximal cs-property). Then, by linear programming, initial tokens in the additional monitors are decided such that liveness is enforced to the supervised system. Also, a simplified live marking relationship for a G-system between the initial tokens of the source places and those of the resource places is derived. Finally, the proposed deadlock prevention methods are illustrated by using an example. </para>}, author = {Li, Z. and Zhao, M. }, booktitle = {Systems, Man and Cybernetics, Part A, IEEE Transactions on}, citeulike-article-id = {2557338}, doi = {10.1109/TSMCA.2007.914741}, journal = {Systems, Man and Cybernetics, Part A, IEEE Transactions on}, keywords = {cerrojos, citas, deadlock, nets, petri, prevention, siphons}, number = {2}, pages = {369--384}, posted-at = {2008-03-19 08:18:21}, priority = {2}, title = {On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets}, url = {http://dx.doi.org/10.1109/TSMCA.2007.914741}, volume = {38}, year = {2008} }

TY - JOUR ID - citeulike:2557338 L3 - citeulike-article-id:2557338 TI - On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets T2 - Systems, Man and Cybernetics, Part A, IEEE Transactions on JF - Systems, Man and Cybernetics, Part A, IEEE Transactions on VL - 38 IS - 2 SP - 369 EP - 384 N2 - <para> A fair amount of research has shown the importance of siphons in the analysis and control of deadlocks in a variety of resource allocation systems by using a Petri net formalism. In this paper, siphons in a generalized Petri net are classified into elementary and dependent ones, as done for ordinary nets in our previous work. Conditions are derived under which a dependent siphon is controlled by properly supervising its elementary siphons, which indicates that the controllability of dependent siphons in an ordinary Petri net is a special case of that in a generalized one. The application of the controllability of dependent siphons is shown by considering the deadlock prevention problem for a class of resource allocation systems, namely, G-system that allows multiple resource acquisitions and flexible routings in a flexible manufacturing system with machining, assembly, and disassembly operations. We develop a monitor-based deadlock prevention policy that first adds monitors for elementary siphons only to a G-system plant model such that the resultant net system satisfies the maximal controlled-siphon property (maximal cs-property). Then, by linear programming, initial tokens in the additional monitors are decided such that liveness is enforced to the supervised system. Also, a simplified live marking relationship for a G-system between the initial tokens of the source places and those of the resource places is derived. Finally, the proposed deadlock prevention methods are illustrated by using an example. </para> KW - cerrojos KW - citas KW - deadlock KW - nets KW - petri KW - prevention KW - siphons AU - Li, Z AU - Zhao, M PY - 2008/// UR - http://dx.doi.org/10.1109/TSMCA.2007.914741 ER -