A correct and scalable deadlock avoidance policy for flexible manufacturing systems

IEEE Transactions on Robotics and Automation

Volumn 14, Issue 5, 1998, Pages 796-809

  Lawley, Mark A ^a   Reveliotis, Spyros A ^b   Ferreira, Placid M ^c  

^a SCHOOL OF INDUSTRIAL ENGINEERING   (United States)

^b Georgia Institute of Technology   (United States)

^c University of Illinois at Urbana Champaign   (United States)

Author keywords

Deadlock avoidance; Discrete event systems; Flexible manufacturing

Indexed keywords

COMPUTATIONAL COMPLEXITY; DISCRETE TIME CONTROL SYSTEMS; POLYNOMIALS;

DEADLOCK-FREE OPERATIONS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0032186557     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/70.720355     Document Type: Article

References (32)

1. D. Upton, "A flexible structure for computer-controlled manufacturing systems," Manuf. Rev., vol. 5, pp. 58-74, Mar. 1992.
2. J. Charr, D. Teichroew, and R. Volz, " Developing manufacturing control software: A survey and critique," Int. J. Flexible Manufact. Syst., vol. 5, pp. 53-88, June 1993.
3. K. D'Souza and S. Khator, "A survey of Petri net applications in modeling controls for automated manufacturing systems," Comput. Ind., vol. 24, pp. 5-16, 1994.
4. R. Cossins and P. Ferreira, "Celeritas: A colored Petri net approach to simulation and control of flexible manufacturing systems," Int. J. Prod. Res., vol. 30, pp. 1925-1956, Aug. 1992.
5. M. Zhou, Petri Nets in Flexible Automation. Boston, MA: Kluwer, 1995.
6. C. Ausfelder, E. Castelain, and J. Gentina, "A method for hierarchical modeling of the command of flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern., vol. 24, pp. 564-573, Apr. 1994.
7. H. Cho and R. Wysk, "Intelligent workstation controller for computer-integrated manufacturing: problems and models," J. Manufact. Syst., vol. 14, pp. 252-263, 1995.
8. S. Joshi, E. Mettala, and R. Wysk, "CIMGEN - A computer aided software engineering tool for development of fms control software," IIE Trans., vol. 24, pp. 84-97, July 1992.
9. J. Villarroel and P. Muro-Medrano, "Using Petri net models at the coordination leva for manufacturing system control," Robot. Computer-Integrated Manufact., vol. 11, pp. 41-50, 1994.
10. A. Silberschatz and G. Peterson, Operating Systems Concepts. Reading, MA: Addison-Wesley, 1991.
11. H. Cho, T. Kumaran, and R. Wysk, "Graph-theoretic deadlock detection and resolution for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 11, pp. 413-421, June 1995.
12. M. Lawley, S. Reveliotis, and P. Ferreira, "Design guidelines for developing deadlock handling strategies in flexible manufacturing systems," Int. J. Flexible Manufact. Syst., vol. 9, pp. 5-30, 1997.
13. Z. Banaszak and B. Krogh, " Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robot. Automat., vol. 6, pp. 724-734, Dec. 1990.
14. F. Hsieh and S. Chang, "Dispatching driven deadlock avoidance controller synthesis for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 10, pp. 196-209, Apr. 1994.
15. T. Kumaran, W. Chang, H. Cho, and R. Wysk, "A structured approach to deadlock detection, avoidance, and resolution in flexible manufacturing systems," Int. J. Prod. Res., vol. 32, pp. 2361-2379, Oct. 1994.
16. M. Lawley and P. Ferreira, "An automaton based framework for analysis and control of flexible manufacturing systems," in Proc. Mid-America Conf. Intell. Syst., Kansas City, KS, Oct. 1994, pp. 144-151.
17. M. Lawley, S. Reveliotis, and P. Ferreira, "Configurable and scalable real time control policies for deadlock avoidance in flexible manufacturing systems," in Proc. 6th Int. FAIM Conf., Atlanta, GA, May 1996, pp. 758-767.
18. _, "Structural control of flexible manufacturing systems and the neighborhood policy: Parts 1 & 2," IIE Trans., vol. 29, no. 10, pp. 877-899, Oct. 1997.
19. Y. Leung and G. Sheen, "Resolving deadlocks in flexible manufacturing cells," J. Manufact. Syst., vol. 12, pp. 291-304, 1993.
20. S. Reveliotis and P. Ferreira, "Deadlock avoidance policies for automated manufacturing cells," IEEE Trans. Robot. Automat., vol. 12, pp. 845-857, Nov. 1996.
21. _, "Performance evaluation of structurally controlled fms: exact and approximate methods," in Proc. 6th Int. FAIM Conf., Atlanta, GA, May 1996, pp. 829-838.
22. N. Viswanadham, Y. Narahari, and T. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri nets," IEEE Trans. Robot. Automat., vol. 6, pp. 712-723, Dec. 1990.
23. R. Wysk, N. Yang, and S. Joshi, "Detection of deadlocks in flexible manufacturing cells," IEEE Trans. Robot. Automat., vol. 7, pp. 853-859, Dec. 1991.
24. _, "Resolution of deadlocks in flexible manufacturing systems: avoidance and recovery approaches," J. Manufact. Syst., vol. 13, pp. 128-138, 1994.
25. S. Reveliotis, M. Lawley, and P. Ferrera "Polynomial complexity deadlock avoidance policies for sequential resource allocation systems," IEEE Trans. Automat. Contr., vol. 42, Oct. 1997.
26. M. Garey and D. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness New York: W. H. Freeman, 1979.
27. R. Walpole and R. Myers, Probability and Statistics for Engineers and Scientists New York: Macmillan, 1995.
28. M. Lawley and P. Ferreira, "Efficiency analysis of deadlock avoidance policies in flexible manufacturing systems," Tech. Rep. UILU-ENG-96-4009, Univ. Illinois at Urbana-Champaign, Urbana, IL, 1996.
29. D. Bodner, "Real-time control approaches to deadlock management in automated manufacturing systems," Ph.D. dissertation, Georgia Inst. of Technol., Atlanta, GA, 1996.
30. M. Lawley, "Structural analysis and control of flexible manufacturing systems," Ph.D. dissertation, Univ. Illinois at Urbana-Champaign, Urbana, IL, 1995.
31. S. Reveliotis, "Structural control of flexible manufacturing systems with a performance perspective," Ph.D. dissertation, Univ. Illinois at Urbana-Champaign, Urbana, IL, 1996.
32. M. Lawley and J. Mittenthal, "Order release and deadlock avoidance interactions in counter-flow system optimization," Research Memorandum 98-09, School of Industrial Engineering, Purdue Univ., West Lafayette, IN, 1998.