A polynomial deadlock avoidance method for a class of nonsequential resource allocation systems

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

Volumn 36, Issue 6, 2006, Pages 1234-1243

  Ezpeleta, Joaquín ^a   Valk, Rüdiger ^b  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b UNIVERSITY OF HAMBURG   (Germany)

Author keywords

Assembly systems; Banker's algorithm; Deadlock avoidance; Place Transition nets (Petri nets); Resource allocation system (RAS)

Indexed keywords

MATHEMATICAL MODELS; PETRI NETS; POLYNOMIAL APPROXIMATION; RESOURCE ALLOCATION;

BANKER ALGORITHM; DEADLOCK-AVOIDANCE ALGORITHM; RESOURCE ALLOCATION SYSTEM;

ADAPTIVE ALGORITHMS;

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

References (27)

1. Z. Banaszak and B. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robot. Autom., vol. 6, no. 6, pp. 724-734, Dec. 1990.
2. J. Ezpeleta, S. Haddad, and B. V. Elsevier, A Distributed Algorithm for Resource Management, vol. A-39. Amsterdam, Germany: North Holland, 1993.
3. M. Jeng and F. DiCesare, "Synthesis using resource control nets for modeling shared-resource systems," IEEE Trans. Robot. Autom., vol. 11, no. 3, pp. 317-327, Jun. 1995.
4. J. Ezpeleta, J. Colom, and J. Martínez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 11, no. 2, pp. 173-184, Apr. 1995.
5. S. Reveliotis and P. Ferreira, "Deadlock avoidance policies for automated manufacturing cells," IEEE Trans. Robot. Autom., vol. 12, no. 6, pp. 846-857, Dec. 1996.
6. M. Fanti, B. Maione, S. Mascolo, and B. Turchiano, "Event-based feedback control for deadlock avoidance in flexible production systems," IEEE Trans. Robot. Autom., vol. 13, no. 3, pp. 347-363, Jun. 1997.
7. K. Barkaoui and J. Pradat-Peyre, "On liveness and controlled siphons in Petri nets," in Proc. Int. Conf. Appl. and Theory Petri Nets, Osaka, Japan, Jun. 1996, pp. 57-72.
8. F. Chu and X. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Autom., vol. 13, no. 6, pp. 793-804, Dec. 1997.
9. M. Jeng, "A Petri net synthesis theory for modeling flexible manufacturing systems," IEEE Trans. Syst., Man Cybern. B, Cybern., vol. 27, no. 2, pp. 169-183, Apr. 1996.
10. X. Xie and M. Jeng, "ERCN-merged nets and their analysis using siphons," IEEE Trans. Robot. Autom., vol. 15, no. 4, pp. 692-703, Aug. 1999.
11. F. Magnino and P. Valigi, "A Petri net approach to deadlock analysis for classes of kanban systems," in IEEE Int. Conf. Robot. Autom., San Francisco, CA, Apr. 2000, pp. 2877-2882.
12. 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: Analysis and Control, R. Boel and G. Stremersch, Eds., Ghent, Belgium, Aug. 2000, pp. 139-148.
13. J. Park and S. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Trans. Autom. Control, vol. 46, no. 10, pp. 1572-1583, Oct. 2001.
14. 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. Autom., vol. 18, no. 4, pp. 621-625, Aug. 2002.
15. E. Roszkowska and R. Wojcik, "Problems of process flow feasibility in FAS," in IFAC CIM in Process and Manufacturing Industries, K. Leiviska, Ed. Oxford, U.K.: Pergamon Press, 1992, pp. 115-120.
16. M. Fanti, B. Maione, and B. Turchiano, "Design of supervisors to avoid deadlock in flexible assembly systems," Int. J. Flexible Manuf. Syst., vol. 14, no. 2, pp. 157-175, Apr. 2002.
17. F. Hsieh, "Fault-tolerant deadlock avoidance algorithm of assembly processes," IEEE Trans. Syst., Man Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 65-79, Jan. 2004.
18. S. Reveliotis, "Structural analysis of resource allocation systems with synchronization constraints," in Proc. IEEE Int. Conf. Robot. Autom., Taipei, Taiwan, 2003, pp. 1045-1049.
19. E. W. Dijkstra, "Cooperating sequential processes," in Programming Languages, F. Genuys, Ed. New York: Academic, 1968.
20. A. Habermann, "A new approach to avoidance of system deadlocks," Revue Francaise d'Automatique, Informatique et Recherche Opérationnelle (R.A.I.R.O.), vol. B-3, pp. 19-28, Sep. 1975.
21. 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, no. 1, pp. 73-100, Feb. 1998.
22. S. A. Reveliotis, "Variations on Banker's algorithm for resource allocation systems," in Proc. Japan-USA Symp. Flexible Autom., Otsu, Japan, Jul. 1998, pp. 1185-1192.
23. J. Ezpeleta and R. Valk, "A polynomial solution for deadlock avoidance in assembly systems modelled with Petri nets," in Proc. Multiconf. CESA, Lille, France, Jul. 9-11, 2003, pp. 1-8.
24. E. Best and C. Fernández, Nonsequential Processes: A Petri Net View, vol. 13, W. Brauer, G. Rozenberg, and A. Salomaa, Eds. New York: Springer-Verlag, 1988.
25. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
26. E. M. Gold, "Deadlock prediction: Easy and difficult cases," SIAM J. Comput., vol. 7, no. 3, pp. 320-336, Aug. 1978.
27. M. Zhou and F. DiCesare, "Hybrid synthesis of Petri nets for manufacturing systems: A case study," in Proc. 3rd Int. Symp. Robot. and Manuf., Vancouver, Canada, Jul. 1990.