Siphons are related to liveness properties of Petri net models. This relation is strong in the case of resource allocation systems (RAS). Siphons can be used in these systems in order to both, characterize and prevent/avoid deadlock situations. However, the computation of these structural components can be very time consuming or, even, impossible. Moreover, if, in general, the complete enumeration of the set of minimal siphons must be avoided (there can exist an exponential number of such components), some deadlock prevention methods rely on its (complete or partial) computation and enumeration. In the paper we show how the special syntactical constraints of some classes of resource allocation systems (we concentrate on S/sup 4/PR) can help in developing specific implementations to compute siphons in a very efficient way.
%0 Conference Proceedings
%1 citeulike:96590
%A Tricas, F.
%A Ezpeleta, J.
%D 2003
%J Emerging Technologies and Factory Automation, 2003. Proceedings. ETFA '03. IEEE Conference
%K banker, citeulike deadlock, nets, petri, siphon
%P 322--329 vol.1
%T Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets
%U http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1247724
%V 1
%X Siphons are related to liveness properties of Petri net models. This relation is strong in the case of resource allocation systems (RAS). Siphons can be used in these systems in order to both, characterize and prevent/avoid deadlock situations. However, the computation of these structural components can be very time consuming or, even, impossible. Moreover, if, in general, the complete enumeration of the set of minimal siphons must be avoided (there can exist an exponential number of such components), some deadlock prevention methods rely on its (complete or partial) computation and enumeration. In the paper we show how the special syntactical constraints of some classes of resource allocation systems (we concentrate on S/sup 4/PR) can help in developing specific implementations to compute siphons in a very efficient way.
@proceedings{citeulike:96590,
abstract = {{Siphons are related to liveness properties of Petri net models. This relation is strong in the case of resource allocation systems (RAS). Siphons can be used in these systems in order to both, characterize and prevent/avoid deadlock situations. However, the computation of these structural components can be very time consuming or, even, impossible. Moreover, if, in general, the complete enumeration of the set of minimal siphons must be avoided (there can exist an exponential number of such components), some deadlock prevention methods rely on its (complete or partial) computation and enumeration. In the paper we show how the special syntactical constraints of some classes of resource allocation systems (we concentrate on S/sup 4/PR) can help in developing specific implementations to compute siphons in a very efficient way.}},
added-at = {2017-09-08T10:52:59.000+0200},
author = {Tricas, F. and Ezpeleta, J.},
biburl = {https://www.bibsonomy.org/bibtex/276db08f13c10eee0ea8be3fc0fc3a5c4/fernand0},
citeulike-article-id = {96590},
citeulike-linkout-0 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1247724},
interhash = {65b59fd2c0c10307149e12566c1a77c4},
intrahash = {76db08f13c10eee0ea8be3fc0fc3a5c4},
journal = {Emerging Technologies and Factory Automation, 2003. Proceedings. ETFA '03. IEEE Conference},
keywords = {banker, citeulike deadlock, nets, petri, siphon},
pages = {322--329 vol.1},
posted-at = {2005-02-16 18:55:45},
priority = {0},
timestamp = {2017-09-08T10:53:23.000+0200},
title = {{Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets}},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1247724},
volume = 1,
year = 2003
}