Some improvements to the Banker's algorithm based on the process structure

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 3, Issue , 2000, Pages 2853-2858

  Tricas, F ^a   Colom, J M ^a   Ezpeleta, J ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

BANKERS ALGORITHM; PROCESS STRUCTURE;

ALGORITHMS; CONCURRENT ENGINEERING; FLEXIBLE MANUFACTURING SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; POLYNOMIALS;

PROCESS CONTROL;

EID: 0033685610     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. E. M. Gold, "Deadlock prediction: Easy and difficult cases," SIAM J. Comput., vol. 7, pp. 320-336, Aug 1978.
2. L. Holloway, B. Krogh, and A. Giua, "A survey of petri net methods for controlled discrete event systems," Discrete Event Dynamic Systems: Theory and Applications, no. 7, pp. 151-190, 1997
3. E. Dijkstra, Co-operating Sequential Processes. Programming Languages, Academic Press, f. genyus ed., 1965.
4. J. Ezpeleta and S. Haddad, A Distributed Algorethm for Resource Management. Decentralized & Distributed Systems (A-39), Elsevier B.V. (North-Holland), 1993.
5. K. Barkaoui, A. Chaoui, and B. Zouari, "Supervisory control of discrete event systems based on structure of Petri nets," in SMC'S7 Conf. Proc., (Orlando, Florida, USA), pp. 3750-3755, IEEE, Oct. 1997
6. F. Tricas, J. Colom, and J. Ezpeleta, "A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming," in PTOC. of the 11th European Simulation Symposium, 1999.
7. T. Murata, "Petri nets: Properties, analysis and applications," Proceedings of the IEEE, vol. 77, pp. 541-580, Apr. 1989.
8. M. Lawley, S. Reveliotis, and P. Ferreira, "The application and evaluation of banker's algorithm for deadlockfree buffer allocation in flexible manufacturing systems," Int. Journal of Flexible Manufacturing Systems, no. 10, pp. 73-100, 1998
9. K. Xing, B. Hu, and H. Chen, "Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources," IEEE trans. on Automatic Control, vol. 41, pp. 289-295, Feb. 1996.
10. F. Tricas, J. Colom, and J. Ezpeleta, "Some improvements to the Banker's algorithm based on the process structure," tech. rep., Dept. de Informtitica e Ingenieria de Sistemas, Univ. de Zaragoza, 2000.