A Deadlock Avoidance Approach for Nonsequential Resource Allocation Systems

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.

Volumn 34, Issue 1, 2004, Pages 93-101

  Ezpeleta, Joaquín ^a   Recalde, Laura ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Assembly disassembly system; Concurrent systems; Deadlock avoidance; Resource allocation system

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER SYSTEM RECOVERY; GRAPHIC METHODS; MATHEMATICAL MODELS; PETRI NETS; PROBLEM SOLVING; RAW MATERIALS; VECTORS;

ASSEMBLY-DISASSEMBLY SYSTEMS; CONCURRENT SYSTEMS; DEADLOCK AVOIDANCE;

RESOURCE ALLOCATION;

EID: 0742272697     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2003.820575     Document Type: Article

References (30)

1. S. Reveliotis, "Accommodating FMS operational contingencies though routing flexibility," in Proc. Int. Conf. Robotics Automation, Leuven, Belgium, May 1998, pp. 573-579.
2. N. Viswanadham and Y. Narahari, Performance Modeling of Automated Manfacturig Systems. Englewood Cliffs, NJ: Prentice-Hall, 1992.
3. F. Dicesare, G. Harhalakis, J. Proth, M. Silva, and F. Vernadat, Practice of Petri Nets in Manufacturing. London, U.K.: Chapman & Hall, 1993.
4. M. C. Zhou, Ed., Petri Nets in Manufacturing. Boston, MA: Kluwer, 1995.
5. N. Viswanadham, Y. Narahari, and T. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. Robotics Automat., vol. 6, pp. 713-723, Dec. 1990.
6. M. Lawley, S. Reveliotis, and P. Ferreira, "FMS structural control and the neighborhood policy: Part 1. Correctness and scalability," IIE Trans., no. 29, pp. 877-887, 1997.
7. F. García-Vallés, F. Tricas, J. Colom, and J. Ezpeleta, "Optimal control of discrete event systems," in Proc. Int. Workshop Discrete Event Systems, IEE Control, Aug. 1998.
8. A. Yalcin and T. O. Boucher, "Deadlock avoindance in flexible manufacturing systems using finite automata," IEEE Trans. Robotics Automat., vol. 16, pp. 424-429, Aug. 2000.
9. Z. Banaszak and B. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robotics Automat., vol. 6, pp. 724-734, Dec. 1990.
10. J. Ezpeleta and S. Haddad, A Distributed Algorithm for Resource Management. Amsterdam, The Netherlands: Elsevier B.V. (North-Holland), 1993, Decentralized and Distributed Systems (A-39).
11. M. Jeng and F. DiCesare, "Synthesis using resource control nets for modeling shared-resource systems," IEEE Trans. Robot. Automat., vol. 11, pp. 317-327, June 1995.
12. J. Ezpeleta, J. Colom, and J. Martínez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robotics Automat., vol. 11, pp. 173-184, Apr. 1995.
13. S. Reveliotis and P. Ferreira, "Deadlock avoidance policies for automated manufacturing cells," IEEE Trans. Robot. Automat., vol. 12, pp. 846-857. Dec. 1996.
14. M. Fanti, B. Maione, S. Mascolo, and B. Turchiano, "Event-based feedback control for deadlock avoidance in flexible production systems," IEEE Trans. Robot. Automat., vol. 13. pp. 347-363, June 1997.
15. K. Barkaoui and J. Pradat-Peyre, "On liveness and controlled siphons in Petri nets," in Proc. Int. Conf. Applications Theory Petri Nets, June 1996.
16. F. Chu and X. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Automat., vol. 13, no. 6, pp. 793-804, December 1997.
17. M. Jeng, "A Petri net synthesis theory for modeling flexible manufacturing systems," IEEE Trans. Syst., Man Cybern. B, vol. 27, pp. 169-183, Apr. 1996.
18. S. A. Reveliotis, "Variations on Banker's algorithm for resource allocation systems," in Proc. Japan-USA Symp. Flexible Automat., Otsu, Japan, July 1998, pp. 1185-1192.
19. X. Xie and M. Jeng, "ERCN-merged nets and their analysis using siphons," IEEE Trans. Robot. Automat., vol. 15, pp. 692-703, Aug. 1999.
20. F. Magnino and P. Valigi, "A Petri net approach to deadlock analysis for classes of kanban systems," in Proc. IEEE Int. Conf. Robotics Automat., San Francisco, CA, Apr. 2000, pp. 2877-2882.
21. F. Tricas, F. García-Vallés, J. Colom, and J. Ezpeleta, "An iterative method for deadlock prevention in FMS," in Proc. Workshop Discrete Event Systems Anal. Contr., R. Boel and G. Stremersch, Eds., Ghent, Belgium, Aug. 2000, pp. 139-148.
22. J. Park and S. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Trans. Automat. Contr., vol. 46, pp. 1572-1583, Oct. 2001.
23. Y. Huang, M. Jeng, and X. Xie, "A deadlock prevention policy for flexible manufacturing systems using siphons," in Proc. IEEE Int. Conf. Robotics Automat., Seoul, Korea, May 2001, pp. 541-546.
24. E. Roszkowska and R. Wojcik, "Problems of process flow feasibility in FAS," in IFAC CIM in Process and Manufacturing Industries, K. Leiviska, Ed. Espoo, Finland: Pergamon, 1992, pp. 115-120.
25. B. M. M. P. Fanti and B. Turchiano, "Event control for for deadlock avoidance in assembly systems," in Proc. IEEE Int. Conf. Syst., Man Cybern., Orlando, FL, Oct. 1997, pp. 3756-3761.
26. J. Ezpeleta, F. Tricas, F. García-Vallés, and J. Colom, "A Banker's solution for deadlock avoidance in FMS with routing flexibility and multi-resource states," IEEE Trans. Robot. Automat., vol. 18, pp. 621-625, Aug. 2002.
27. J. Ezpeleta and L. Recalde, "A deadlock avoidance approach for non-sequential resource allocation systems," in Proc. IEEE Int. Conf. Syst., Man Cybern., Hammamet, Tunisia, Oct. 2002.
28. W. Reisig, Petri Nets. An Introduction, W. Brauer, G. Rozenberg, and A. Salomaa, Eds. New York: Springer-Verlag, 1985, EATCS Monographs on Theoretical Computer Science.
29. T. Murata, "Petri nets: Properties, analysis and applications, " Proc. IEEE, vol. 77, pp. 541-580, Apr. 1989.
30. Y. Narahari and N. Viswanadham, "On the invariants of colored Petri nets," Lecture Notes in Computer Science.: Advances in Petri Nets, vol. 222, pp. 330-345, 1986.