Design guidelines for deadlock-handling strategies in flexible manufacturing systems

International Journal of Flexible Manufacturing Systems

Volumn 9, Issue 1, 1997, Pages 5-30

  Lawley, Mark ^a   Reveliotis, Spiridon ^b   Ferreira, Placid ^c  

^a The University of Alabama   (United States)

^b Georgia Institute of Technology   (United States)

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

Author keywords

Agile manufacturing; Deadlock; Flexible manufacturing; Manufacturing system control

Indexed keywords

BUFFER STORAGE; COMPUTER AIDED MANUFACTURING; COMPUTER SYSTEM RECOVERY; PUBLIC POLICY; STATE SPACE METHODS; STORAGE ALLOCATION (COMPUTER);

FLEXIBLE MANUFACTURING SYSTEM CONTROL; STRUCTURAL CONTROL POLICIES;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0030696364     PISSN: 09206299     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1007937925728     Document Type: Article

References (30)

1. Araki, T., Sugiyama, Y., Kasami, T., and Okui, J., "Complexity of the Deadlock Avoidance Problem," in Proceedings of 2nd IBM Symposium on the Mathematical Foundations of Computer Science, 229-252. Tokyo: IBM Japan (1977).
2. Ausfelder, C., Castelain, E., and Gentina, J., "A Method for Hierarchical Modeling of the Command of Flexible Manufacturing System," IEEE Transactions on Systems, Man, and Cybernetics, 24 (4), 564-573 (1994).
3. Banaszak, Z. and Krogh, B., "Deadlock Avoidance in Flexible Manufacturing Systems with Concurrently Competing Process Flows," IEEE Transactions on Robotics and Automation, 6 (6), 724-734 (1990).
4. Brzezinski, J., Helary, J., Raynal, M., and Singhal, M., "Deadlock Models and General Algorithm for Distributed Deadlock Detection," IRISHA Technical Report No. 1776, Ohio State University (1992).
5. Charr, J., Teichroew, D., and Volz, R., "Real-Time Software Methodologies: Are They Suitable for Developing Manufacturing Control Software?" International Journal of Flexible Manufacturing Systems, 5 (2), 95-128 (1993).
6. Cho, H., Kumaran, T., and Wysk, R., "Graph-Theoretic Deadlock Detection and Resolution for Flexible Manufacturing Systems," IEEE Transactions on Robotics and Automation, 11 (3), 413-421 (1995).
7. Chryssolouris, G. and Lee, M., "An Assessment of Flexibility in Manufacturing Systems," Manufacturing Review, 5(2), 105-116(1992).
8. Cossins, R. and Ferreira, P., "Celeritas: A Colored Petri Net Approach to Simulation and Control of Flexible Manufacturing Systems," International Journal of Production Research, 30 (8), 1925-1956 (1992).
9. Gaarder, E., "Deadlock Avoidance in Flexible Manufacturing Systems," Department of Mechanical and Industrial Engineering, University of Illinois at Urbana Champaign, masters thesis (1993).
10. Hsieh, F. and Chang, S., "Dispatching Driven Deadlock Avoidance Controller Synthesis for Flexible Manufacturing Systems," IEEE Transactions on Robotics and Automation, 10 (2), 196-209 (1994).
11. Jafari, M., "An Architecture for a Shop-Floor Controller Using Colored Petri Nets," International Journal of Flexible Manufacturing Systems, 4 (2), 159-181 (1992).
12. Joshi, S., Mettala, E., and Wysk, R., "CIMGEN-A Computer Aided Software Engineering Tool for Development of FMS Control Software," IIE Transactions, 24 (3), 84-97 (1992).
13. Kumaran, T., Chang, W., Cho, H., and Wysk, R., "A Structured Approach to Deadlock Detection, Avoidance, and Resolution in Flexible Manufacturing Systems," International Journal of Production Research, 32 (10), 2361-2379 (1994).
14. Lawley, M., "Structural Analysis and Control of Flexible Manufacturing Systems," Department of Mechanical and Industrial Engineering, University of Illinois at Urbana Champaign, doctoral thesis (1995).
15. Lawley, M. and Ferreira, P., "An Automaton Based Framework for Analysis and Control of Flexible Manufacturing Systems," Proceedings of the Mid-America Conference on Intelligent Systems, 144-151, Advanced Manufacturing Institute, Kansas State University (1994).
16. Lawley, M., Reveliotis, S., and Ferreira, P., "Configurable and Scalable Real Time Control Policies for Deadlock Avoidance in Flexible Manufacturing Systems," Proceedings of the Sixth International FAIM Conference, 758-767, Manufacturing Research Center, Georgia Institute of Technology (1996).
17. Lawley, M., Reveliotis, S., and Ferreira, P., "Structural Control of Flexible Manufacturing Systems and the Neighborhood Policy: Parts 1 and 2," IIE Transactions, forthcoming (1997).
18. Leung, Y. and Sheen, G., "Resolving Deadlocks in Flexible Manufacturing Cells," Journal of Manufacturing Systems, 12 (4), 291-304 (1993).
19. Luggen, W., Flexible Manufacturing Cells and Systems, Englewood Cliffs, NJ: Prentice-Hall (1991).
20. Mateti, P. and Deo, N., "On Algorithms for Enumerating All Circuits of a Graph," SIAM Journal of Computing, 5(1), 90-99 (1976).
21. Reveliotis, S., "Structural Analysis and Control of Flexible Manufacturing Systems with a Performance Perspective," Technical Report UILU-ENG 95-4045, Department of Mechanical and Industrial Engineering, University of Illinois at Urbana Champaign (1995).
22. Reveliotis, S. and Ferreira, P., "Performance Evaluation of Structurally Controlled FMS: Exact and Approximate Methods," Proceedings of the Sixth International FAIM Conference, 829-838, Manufacturing Research Center, Georgia Institute of Technology (1996a).
23. Reveliotis, S. and Ferreira, P., "Deadlock Avoidance Policies for Automated Manufacturing Cells," IEEE Transactions on Robotics and Automation, 12 (6), 845-857 (1996b).
24. Robinson, D. and Foulds, L., Digraphs: Theory and Techniques. New York: Gordon and Breach (1980).
25. Silberschatz, A. and Peterson, G., Operating Systems Concepts. Reading, MA: Addison-Wesley (1991).
26. Tirpak, T., Deligiannis, S., and Davis, W., "Real-Time Scheduling in Flexible Manufacturing," Manufacturing Review, 5 (3), 193-212 (1992).
27. Upton, D., "A Flexible Structure for Computer-Controlled Manufacturing Systems," Manufacturing Review, 5(1), 58-74 (1992).
28. Viswanadham, N., Narahari, Y., and Johnson, T., "Deadlock Prevention and Deadlock Avoidance in Flexible Manufacturing Systems Using Petri Nets," IEEE Transactions on Robotics and Automation, 6 (6), 712-723 (1990).
29. Wysk, R., Yang, N., and Joshi, S., "Detection of Deadlocks in Flexible Manufacturing Cells," IEEE Transactions on Robotics and Automation, 7 (6), 853-859 (1991).
30. Wysk, R., Yang, N., and Joshi, S., "Resolution of Deadlocks in Flexible Manufacturing Systems: Avoidance and Recovery Approaches," Journal of Manufacturing Systems, 13 (2), 128-138 (1994).