Control of deadlock and blocking for production systems with unreliable workstations

International Journal of Production Research

Volumn 40, Issue 17, 2002, Pages 4563-4582

  Lawley, M A ^a  

^a SCHOOL OF INDUSTRIAL ENGINEERING   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER WORKSTATIONS; POLYNOMIALS; SERVERS; SUPERVISORY AND EXECUTIVE PROGRAMS;

SUPERVISORY CONTROLLERS;

PRODUCTION ENGINEERING;

EID: 0037146415     PISSN: 00207543     EISSN: None     Source Type: Journal    
DOI: 10.1080/00207540210155792     Document Type: Article

References (36)

1. ARAKI, T., SUGIYAMA, Y. and KASAMI, T., 1977, Complexity of the deadlock avoidance problem. Proceedings of the 2nd IBM Symposium on the Mathematical Foundations of Computer Science, Tokyo, Japan, pp. 229-257.
2. BANASZAK, Z. and KROGH, B., 1990, Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Transactions on Robotics and Automation, 6, 724-734.
3. BANASZAK, Z. and ROSZKOWSKA, E., 1988, Deadlock avoidance in pipeline concurrent processes. Podstawy Sterowania (Foundations of Control), 18, 3-17.
4. BUZACOTT, J., 1982, Optimal operating rules for automated manufacturing systems. IEEE Transactions on Automatic Control, 27, pp. 80-86.
5. EZPELETA, J., COLOM, J. and MARTINEZ, J., 1995, A Petri-net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 11, 173-185.
6. FANTI, M., MAIONE, B., MASCOLO, S. and TURCHIANO, B., 1997, Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Transactions on Robotics and Automation, 13, 347-734.
7. FANTI, M., MAIONE, B. and TURCHIANO, B., 1998, Event control for deadlock avoidance in production systems with multiple capacity resources. Studies in Informatics and Control, 7, 343-364.
8. GOLD, M., 1978, Deadlock prediction: Easy and difficult cases. SIAM Journal of Computing, 7, 320-336.
9. HABERMANN, A., 1969, Prevention of system deadlocks. Communications of ACM, 12, 373-377.
10. HOLT, R., 1972, Some deadlock properties of computer systems. ACM Computing Survey, 4, 179-196.
11. HSIEH, F., 2000, Reconfigurable fault tolerant deadlock avoidance controller synthesis for assembly production processes. Proceedings of the IEEE Conference on Man, Systems, and Cybernetics, Nashville, TN, pp. 3045-3050.
12. HSIEH, F. and CHANG, S., 1994, Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 10, 196-209.
13. JOHNSON, B., 1989, Design and Analysis of Fault-tolerant Digital Systems (Reading, MA: Addison-Wesley).
14. KALIR, A. and ARZI, Y., 1998, Optimal design of flexible production lines with unreliable machines and infinite buffers. IIE Transactions, 30, 391-399.
15. KUMARAN, T., CHANG, W., CHO, H. and WYSK, R., 1994, A structured approach to deadlock detection, avoidance, and resolution in flexible manufacturing systems. International Journal of Production Research, 32, 2361-2379.
16. LAWLEY, M., 1999, Deadlock avoidance for production systems with flexible routing. IEEE Transactions on Robotics and Automation, 15, 1-13.
17. LAWLEY, M., 2000, Integrating Flexible routing and algebraic deadlock avoidance policies in automated manufacturing systems. International Journal of Production Research, 38, 2931-2950.
18. LAWLEY, M. and REVELIOTIS, S., 2001, Deadlock avoidance for sequential resource allocation systems: hard and easy cases. International Journal of Flexible Manufacturing Systems, 13(4).
19. LAWLEY, M., REVELIOTIS, S. and FERREIRA, P., 1997a, Design guidelines for deadlock handling strategies in flexible manufacturing systems. International Journal of Flexible Manufacturing Systems, 9, 5-30.
20. LAWLEY, M., REVELIOTIS, S. and FERREIRA, P., 1997b, FMS structural control and the neighborhood policy: Parts 1 and 2. IIE Transactions, 29, 877-899.
21. LAWLEY, M., REVELIOTIS, S. and FERREIRA, P., 1998a, Application and evaluation of Banker's algorithm for deadlock-free buffer space allocation in flexible manufacturing systems. International Journal of Flexible Manufacturing Systems, 10, 73-100.
22. LAWLEY, M., REVELIOTIS, S. and FERREIRA, P., 1998b, A correct and scalable deadlock avoidance policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 14, 796-809.
23. LEUNG, Y. and SHEEN, G., 1993, Resolving deadlocks in flexible manufacturing cells. Journal of Manufacturing Systems, 12, 291-304.
24. LYN, M. (ed.), 1995, Software Fault Tolerance (Chichester, UK: Wiley).
25. MAIMON, O. and GERSHWIN, S., 1986, Dynamic scheduling and routing for flexible manufacturing systems that have unreliable machines. Operations Research, 36, 279-292.
26. OLUMOLADE, M. and NORRIE, D., 1996, Reactive scheduling system for cellular manufacturing with failure-prone machines. International Journal of Computer Integrated Manufacturing, 9, 131-144.
27. PARK, S. and LIM, J., 1999, Fault-tolerant robust supervisor for discrete event systems with model uncertainty and its application to a workcell. IEEE Transactions on Robotics and Automation, 15, 386-391.
28. PRADHAN, D., 1996, Fault Tolerant Computer System Design (Upper Saddle River, NJ: Prentice Hall).
29. REVELIOTIS, S., 1999, Accommodating FMS operational contingencies through routing flexibility. IEEE Transactions on Robotics and Automation, 15, 3-19.
30. REVELIOTIS, S., LAWLEY, M. and FERREIRA, P., 1997, Polynomial complexity deadlock avoidance policies for sequential resource allocation systems. IEEE Transactions on Automatic Control, 42, 1344-1357.
31. ROSZKOWSKA, E. and JENTINK, J., 1993, Minimal restrictive deadlock avoidance in FMS. Proceedings of the European Control Conference, ECC '93, Vol. 2, pp. 530-534.
32. SHOSHANI, A. and COFFMAN, E., 1970, Sequencing tasks in multiprocess systems to avoid deadlocks. Proceedings of the 11th Annual Symposium on Switching Automata Theory, pp. 225-233.
33. SULISTYONO, W. and LAWLEY, M., 2000, Deadlock avoidance for manufacturing systems with flexible sequencing. Proceedings of the IEEE International Conference on Robotics and Automation, San Francisco, CA.
34. VISWANADHAM, N., NARAHARI, Y. and JOHNSON, T., 1990, Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri nets. IEEE Transactions on Robotics and Automation, 6, 712-723.
35. WYSK, R., YANG, N. and JOSHI, S., 1991, Detection of deadlocks in flexible manufacturing cells. IEEE Transactions on Robotics and Automation, 7, 853-859.
36. XING, K., HU, B. and CHEN, H., 1996, Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources. IEEE Transactions on Automatic Control, 41, 289-295.