%0 Conference Proceedings %1 citeulike:96592 %A Tricas, F. %A Martinez, J. %D 1995 %J Systems, Man and Cybernetics, 1995. 'Intelligent Systems for the 21st Century'., IEEE International Conference on %K banker, citeulike deadlock, nets, petri, siphon %P 3035--3040 vol.4 %T An extension of the liveness theory for concurrent sequential processes competing for shared resources %U http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=538247 %V 4 %X The design of concurrent systems has to deal with the satisfaction of conditions of good behavior. In this work the way to model and analyze concurrent systems is using a subclass of Petri nets that is an extension of a previous class studied for the same kind of problems. Starting from a Petri net that models a system a policy is proposed to eliminate deadlocked states

@proceedings{citeulike:96592, abstract = {{The design of concurrent systems has to deal with the satisfaction of conditions of good behavior. In this work the way to model and analyze concurrent systems is using a subclass of Petri nets that is an extension of a previous class studied for the same kind of problems. Starting from a Petri net that models a system a policy is proposed to eliminate deadlocked states}}, added-at = {2017-09-08T10:52:59.000+0200}, author = {Tricas, F. and Martinez, J.}, biburl = {https://www.bibsonomy.org/bibtex/2cf2c40dab6dec823b4fb772e15390624/fernand0}, citeulike-article-id = {96592}, citeulike-linkout-0 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=538247}, interhash = {be46071f0470c882e54a25548d64f733}, intrahash = {cf2c40dab6dec823b4fb772e15390624}, journal = {Systems, Man and Cybernetics, 1995. 'Intelligent Systems for the 21st Century'., IEEE International Conference on}, keywords = {banker, citeulike deadlock, nets, petri, siphon}, pages = {3035--3040 vol.4}, posted-at = {2005-02-16 18:57:16}, priority = {0}, timestamp = {2017-09-08T10:53:23.000+0200}, title = {{An extension of the liveness theory for concurrent sequential processes competing for shared resources}}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=538247}, volume = 4, year = 1995 }