%0 Conference Proceedings %1 citeulike:96589 %A Tricas, F. %A Colom, J. %A Ezpeleta, J. %D 2000 %J Robotics and Automation, 2000. Proceedings. ICRA '00. IEEE International Conference on %K banker, citeulike deadlock, nets, petri %P 2853--2858 vol.3 %T Some improvements to the Banker's algorithm based on the process structure %U http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=846460 %V 3 %X The paper presents two methods for deadlock avoidance in concurrent systems. We apply the proposed approaches to flexible manufacturing systems, modeled by means of Petri nets. Both methods correspond to improvements of the classical Banker's algorithm, and are based on the knowledge of the process structure. The first one is polynomial in the size of the Petri net model. The second one depends strongly on the number of alternative paths for the processing of parts and can be of a non-polynomial cost

@proceedings{citeulike:96589, abstract = {{The paper presents two methods for deadlock avoidance in concurrent systems. We apply the proposed approaches to flexible manufacturing systems, modeled by means of Petri nets. Both methods correspond to improvements of the classical Banker's algorithm, and are based on the knowledge of the process structure. The first one is polynomial in the size of the Petri net model. The second one depends strongly on the number of alternative paths for the processing of parts and can be of a non-polynomial cost}}, added-at = {2017-09-08T10:52:59.000+0200}, author = {Tricas, F. and Colom, J. and Ezpeleta, J.}, biburl = {https://www.bibsonomy.org/bibtex/25ff10c81226420ddd9b1ec0a59af0f4f/fernand0}, citeulike-article-id = {96589}, citeulike-linkout-0 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=846460}, interhash = {45466e847ffc91be9a03ef570248ce9d}, intrahash = {5ff10c81226420ddd9b1ec0a59af0f4f}, journal = {Robotics and Automation, 2000. Proceedings. ICRA '00. IEEE International Conference on}, keywords = {banker, citeulike deadlock, nets, petri}, pages = {2853--2858 vol.3}, posted-at = {2005-02-16 18:55:04}, priority = {0}, timestamp = {2017-09-08T10:53:23.000+0200}, title = {{Some improvements to the Banker's algorithm based on the process structure}}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=846460}, volume = 3, year = 2000 }