A graph-theoretic, linear-time scheme to detect and resolve deadlocks in flexible manufacturing cells

Journal of Manufacturing Systems

Volumn 22, Issue 3, 2003, Pages 220-238

  Venkatesh, Srilakshmi ^a   Smith, Jeffrey S ^b  

^a HEWLETT PACKARD COMPANY   (United States)

^b AUBURN UNIVERSITY   (United States)

Author keywords

Deadlock Detection and Resolution; Deadlock Handling; Flexible Automation; FMS Planning and Scheduling; Graph Theory; Manufacturing Real Time Control; Routing Flexibility; Semiconductor Cluster Tools

Indexed keywords

AUTOMATION; CONTROL SYSTEM ANALYSIS; FORMAL LOGIC; GRAPH THEORY; PETRI NETS; PLANNING; REAL TIME SYSTEMS; RESOURCE ALLOCATION; SEMICONDUCTOR DEVICES;

DEADLOCK DETECTIONS; DEADLOCK HANDLING; FLEXIBLE AUTOMATION; FMS PLANNING AND SCHEDULING; MANUFACTURING REAL TIME CONTROL; ROUTING FLEXIBILITY; SEMICONDUCTOR CLUSTER TOOLS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 3242882487     PISSN: 02786125     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0278-6125(03)90022-7     Document Type: Article

References (49)

1. Araki, T.; Sugiyama, Y.; and Kasami, T. (1977). "Complexity of the deadlock avoidance problem." 2nd IBM Symp. on Mathematical Foundations of Computer Science, Tokyo. pp229-257.
2. Banaszak, Z.A. and Krogh, B.H. (1990). "Deadlock avoidance in flexible manufacturing systems in concurrently competing process flows." IEEE Trans. on Robotics and Automation (v6, n6), pp724-734.
3. Cho, H.; Kumaran, T.K.; and Wysk, R.A. (1995). "Graph-theoretic deadlock detection and resolution for flexible manufacturing systems." IEEE Trans. on Robotics and Automation (v11. n3), pp413-421.
4. Coffman, E.G.; Elphick, M.J.; and Shoshani, A. (1971). "System deadlocks." ACM Computing Surveys (v3. n2). pp67-81.
5. Cormen, T.H.; Leiserson, C.E.; and Rivest, R.E. (1990). Introduction to Algorithms. New York: MIT Press/McGraw-Hill.
6. Deo, N. (1974). Graph Theory with Applications to Engineering and Computer Science. Englewood Cliffs, NJ: Prentice-Hall.
7. Deuenneyer, B.L.; Curry, G.L.; Duchowski, A.D.; and Venkatesh, S. (1997). "An integrated approach to deadlock detection and resolution in discrete simulation systems." INFORMS Journal on Computing (v9, n2), pp195-203.
8. Deuermeyer, B.L. and Friesen, D.K. (1984). "A linear-time algorithm for classifying the states of a finite Markov chain." Operations Research Letters (v2, n6), pp297-301.
9. Ezpeleta, J.; Colom, J.M.; and Martinez, J. (1995). "A Petri-net based deadlock prevention policy for flexible manufacturing systems." IEEE Trans. on Robotics and Automation (v11, n4), pp173-184.
10. Fanti, M.P.; Maionc, G.; and Turchiano, B. (1996). "A diagraph-theoretic approach for deadlock detection and recovery in flexible production systems." Studies in Informatics (v5, n4), pp373-383.
11. Fanti, M.P.; Maione, B.; and Turchiano, B. (2000). "Comparing digraph and Petri-net approaches to deadlock avoidance in FMS." IEEE Trans. on Systems, Man and Cybernetics-Part B (v30, n5), pp783-798.
12. Fanti, M.P.; Maione, B.; Macolo, S.; and Turchiano, B. (1997). "Event-based feedback control for deadlock avoidance in flexible production systems." IEEE Trans. on Robotics and Automation (v13, n3), pp347-363.
13. Garey, M. and Johnson, D. (1979). Computers and Intractability. New York: W.H. Freeman and Co.
14. Gold, E.M. (1978). "Deadlock prediction: easy and difficult cases." SIAM Journal of Computing (v7, n3), pp320-336.
15. Graves, S.C. (1981). "A review of production scheduling." Operations Research (v29, n4), pp646-675.
16. Gray, J.N. (1979). "Notes on database operating systems." Operating Systems; An Advanced Course, Lecture Notes in Computer Science 60, R. Bayer, R.M. Graham, and G. Seegmuller, eds. New York: Springer-Verlag.
17. Habermann, A.N. (1969). "Prevention of system deadlocks." Communications of the ACM (v12, n7), pp373-377.
18. Holt, R.C. (1971). "Comments on prevention of system deadlock." Communications of the ACM (v14, n1), pp36-38.
19. Holt, R.C. (1972). "Some deadlock properties of computer systems." ACM Computing Surveys (v4, n3), pp179-196.
20. Howard, J.H. (1973). "Mixed solutions for the deadlock problem." Communications of the ACM (v16, n7), pp427-435.
21. Itai, A. and Rodeh, M. (1977). "Finding a minimum circuit in a graph." Proc. of 9th Annual ACM Symp. on Theory of Computing, Boulder, CO, May 1977. pp1-10.
22. Johnson, D.B. (1975). "Finding all the elementary circuits of a directed graph." SIAM Journal of Computing (v4, n1), pp77-84.
23. Kim, C.O. and Kim, S.S. (1997). "An efficient real-time deadlockfree control algorithm for automated manufacturing systems," Int'l Journal of Production Research (v35, no), pp1545-1560.
24. Knapp, E. (1987). "Deadlock detection in distributed databases." ACM Computing Surveys (v19, n4), pp303-328.
25. Korczynski, E. (1996). "Design challenges in vacuum robotics." Solid State Technology (v39, n10), pp62-70.
26. Krishnaswamy, S. and Ghiya, N. (1993). "Design optimization of spin apply clusters using simulation at the packaging plant in IBM, East Fishkill, New York." SEMATECH 7th Operational Modeling Workshop, Austin, TX, May 1993.
27. Kumaran, T.; Chang, W.; Cho, H.; and Wysk, R. (1994). "A structured approach to deadlock detection, avoidance, and resolution in flexible manufacturing systems," Int'l Journal of Production Research (v32, n10), pp2361-2379.
28. Lawley, M.A. (1999). "Deadlock avoidance for production systems with flexible routing." IEEE Trans. on Robotics and Automation (v13, n3), pp497-509.
29. Lawley, M.A. and Mittenthal, J. (1999). "Order release and deadlock avoidance interactions in counter-flow system optimization." Int'l Journal of Production Research (v37, n13), pp3043-3062.
30. Lawley, M.A.; Reveliotis, S.A.; and Ferreira, P.M. (1997). "Design guidelines for deadlock handling strategies in flexible manufacturing systems." Int'l Journal of Flexible Mfg. Systems (v9, n7), pp5-30.
31. Leung, J.Y.-T. and Lai, E.K. (1979). "On a minimal cost recovery from system deadlocks." IEEE Trans. on Computing (v28. n9), pp671-677.
32. Leung, Y.T. and Sheen, G. (1993). "Resolving deadlocks in flexible manufacturing cells." Journal of Manufacturing Systems (v12, n4), pp291-304.
33. Mateti, P. and Deo, N. (1976). "On algorithms for enumerating all circuits of a graph." SIAM Journal of Computing (v5, n1), pp90-99.
34. Montgomery, D.C. (1984). Design and Analysis of Experiments, 2nd ed. New York: John Wiley.
35. Natarajan, N. (1986). "A distributed deadlock scheme for detecting communication deadlock." IEEE Trans. on Software Engg. (v12, n4), pp531-537.
36. Obermark, R. (1980). "Deadlock detection for all resource classes." Research Report RJ 295S. San Jose, CA: IBM Research Laboratory.
37. Pierce, N.G. and Drevna, M.J. (1992). "Development of generic simulation models to evaluate wafer fabrication cluster tools." Proc. of 1992 Winter Simulation Conf., Arlington, VA, Dec. 1992, PP874-878.
38. Reveliotis, S.A. and Ferreira, P.M. (1996). "Deadlock avoidance policies for automated manufacturing cells." IEEE Trans. on Robotics and Automation (v12, n6), pp845-857.
39. Reveliotis, S.A.; Lawley, M.A.; and Ferreira, P.M. (1997). "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems." IEEE Trans. on Automatic Control (v42, n10), pp1344-1357.
40. Shoshani, A. and Coffman, E.G. (1970). "Prevention, detection, and recovery from system deadlocks." Proc. of 4th Annual Princeton Conf. on Information Sciences and Systems, Princeton, NJ, March 1970, PP355-360.
41. Singhal, M. (1989). "Deadlock detection in distributed system." IEEE Computer (v22, n12), pp37-48.
42. Venkatesh, S. (1996). "Deadlock detection and resolution of discrete simulation systems and flexible manufacturing cells." PhD dissertation. College Station, TX: Texas A&M Univ.
43. Venkatesh, S.; Davenport, R.; Foxboven, P.; and Nulman, J. (1997). "A steady-state throughput analysis of cluster tools: dual-blade versus single-blade robots." IEEE Trans. on Semiconductor Mfg. (v10, n4), pp418-424.
44. Venkatesh, S.; Smith, J.; Deuermeyer, B.L.; and Curry, G.L. (1994), "Deadlock properties in discrete simulation systems." Proc. of 1994 IEEE Int'l Conf. on Robotics and Automation, San Diego, CA, pp2563-2568.
45. Venkatesh, S.; Smith, J.; Deuermeyer, B.L.; and Curry, G.L. (1998). "Deadlock detection and resolution for discrete-event simulation: multiple-unit seizes," HE Trans. (v30, n3), pp201-216.
46. Viswanadham, N.; Narahari, Y.; and Johnson, T.L. (1990). "Deadlock prevention and deadlock avoidance In flexible manufacturing systems using Petri-net models." IEEE Trans. on Robotics and Automation (v6, no), pp713-723.
47. Wysk, R.A.; Yang, N.S.; and Joshi, S. (1991). "Detection of deadlocks In flexible manufacturing systems." IEEE Trans. on Robotics and Automation (v7, n6), pp853-859.
48. Wysk, R.A.; Yang, N.S.; and Joshi, S. (1994). "Resolution of deadlocks In flexible manufacturing systems: avoidance and recovery approaches." Journal of Manufacturing Systems (v13, n2), pp128-138.
49. Xing, K.Y.; Hu, B.S.; and Chen, H.X. (1996). "Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources." IEEE Trans. on Automatic Control (v41, n2), pp289-295.