A banker’s solution for deadlock avoidance in FMS with flexible routing and multiresource states

IEEE Transactions on Robotics and Automation

Volumn 18, Issue 4, 2002, Pages 621-625

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

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Banker's algorithm; Concurrent systems; Deadlock avoidance; Flexible manufacturing systems

Indexed keywords

ALGORITHMS; CONCURRENT ENGINEERING; DECISION SUPPORT SYSTEMS; FLEXIBLE MANUFACTURING SYSTEMS; PETRI NETS; POLYNOMIAL APPROXIMATION; RESOURCE ALLOCATION;

BANKER ALGORITHM; BANKER SOLUTION; DEADLOCK AVOIDANCE;

AUTOMATION;

EID: 0036703358     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/TRA.2002.801048     Document Type: Article

References (19)

1. K. Barkaoui, A. Chaoui, and B. Zouari, "Supervisory control of discrete event systems based on structure of Petri nets," in Proc. SMC'97 Conf. Orlando, FL, pp. 3750-3755.
2. H. Cho, T. K. Kumaran, and R. A. Wysk, "Graph-theoretic deadlock detection and resolution for flexible manufacturing systems," IEEE Trans. Robot. Automat., 11, pp. 413-421, June 1995.
3. T. H. Cormen, C. E. Leiserson, and R. L. Rivest, Introduction to Algorithms. Cambridge, MA: MIT Press, 1990.
4. E. W. Dijkstra, Co-Operating Sequential Processes. New York: Academic, 1965, Programming Languages.
5. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 11, pp. 173-184, Apr. 1995.
6. J. Espeleta, F. Garcia-Vallés, and J. M. Colom, "A class of well structured Petri nets for flexible manufacturing systems," in Advances in Petri Nets 1993, J. Desel and M. Silva, Eds. New York: Springer-Verlag, 1998, vol. 1420, pp. 64-83.
7. J. Ezpeleta and S. Haddad, A Distributed Algorithm for Resource Management. Amsterdam, The Netherlands: Elsevier, 1993.
8. A. N. Habermann, "A new approach to avoidance of system deadlocks," Revue Francaise d'Automatique, Informatique et Recherche Opérationnelle (R.A.I.R.O.) B-3, pp. 19-28, Sept. 1975.
9. C. W. Kim, J. M. A. Tanchoco, and P. H. Koo "Deadlock prevention in manufacturing systems with AGV systems: Banker's algorithm approach," J. Manuf. Sci. Eng., vol. 119, pp. 849-854, 1997.
10. S.-D. Lang, "An extended Banker's algorithm for deadlock avoidance," IEEE Trans. Software Eng., vol. 25, pp. 428-432 May/June 1999.
11. M. Lawley, "Integrating flexible routing and algebraic deadlock avoidance policies in automated manufacturing systems," Int. J. Prod. Res., vol. 38, no. 13, pp. 2931-2950, 2000.
12. M. Lawley, S. Reveliotis, and P. Ferreira, "The application and evaluation of Banker's algorithm for deadlock-free buffer allocation in flexible manufacturing systems," Int. J. Flexible Manuf. Syst., vol. 10, pp. 73-100, 1998.
13. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, pp. 541-580, Apr. 1989.
14. S. A. Reveliotis, "Variations on Banker's algorithm for resource allocation systems," in Proc. 1998 Japan-USA Symp. Flexible Automation, Otsu, Japan, pp. 1185-1192.
15. S. A. Reveliotis, "Conflict resolution in AGV systems," IEE Trans., vol. 32, no. 7, pp. 647-659, 2000.
16. Z. Banaszak, R. Wojcik, and E. Roszkowska, "Automation of self-recovery resource allocation procedures synthesis in FMS," in Proc. IFAC CIM Process and Manufacturing Industries, K. Leiviska, Ed., Espoo, Finland, 1992, pp. 127-132.
17. F. Tricas, J. M. Colom, and J. Espeleta, "A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming," in Proc. 11th European Simulation Symp., G. Horton, D. Moller, and U. Rude, Eds., Erlangen, Germany, Oct. 1999, pp. 542-546.
18. F. Tricas, F. García-Vallés, J. M. Colom, and J. Ezpeleta, "An iterative method for deadlock prevention in FMS," in Proc. Workshop Discrete Event Systems, 2000, R. Boel and G. Stremersch, Eds., Ghent, Belgium, 139-148.
19. R. A. Wysk, N.-S. Yang, and S. Joshi, "Resolution of deadlocks in flexible manufacturing systems: Avoidance and recovery approaches," J. Manufc. Syst., vol. 13, no. 2, pp. 128-138, 1994.