An extension of the liveness theory for concurrent sequential processes competing for shared resources Export

@inproceedings{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}, author = {Tricas, F. and Martinez, J.}, citeulike-article-id = {96592}, citeulike-linkout-0 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=538247}, journal = {Systems, Man and Cybernetics, 1995. 'Intelligent Systems for the 21st Century'., IEEE International Conference on}, keywords = {banker, deadlock, nets, petri, siphon}, pages = {3035--3040 vol.4}, posted-at = {2005-02-16 18:57:16}, priority = {0}, 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} }

TY - CONF ID - citeulike:96592 L3 - citeulike-article-id:96592 N2 - 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 JF - Systems, Man and Cybernetics, 1995. 'Intelligent Systems for the 21st Century'., IEEE International Conference on EP - 3040 vol.4 TI - An extension of the liveness theory for concurrent sequential processes competing for shared resources VL - 4 SP - 3035 KW - banker KW - deadlock KW - nets KW - petri KW - siphon AU - Tricas, F AU - Martinez, J PY - 1995/// UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=538247 ER -