Design Guidelines for Deadlock-Handling Strategies in Flexible Manufacturing Systems

• Araki, T., Sugiyama, Y., Kasami, T., and Okui, J., "Complexity of the Deadlock Avoidance Problem," in Proceed-ings of 2nd IBM Symposium on the Mathematical Foundations of Computer Science,229–252. Tokyo: IBM Japan (1977).

  Google Scholar 

• 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).

  Google Scholar 

• Banaszak, Z. and Krogh, B., "Deadlock Avoidance in Flexible Manufacturing Systems with Concurrently Com-peting Process Flows," IEEE Transactions on Robotics and Automation,6 (6), 724–734 (1990).

  Google Scholar 

• 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).

• Chart, 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).

  Google Scholar 

• Cho, H., Kumaran, T., and Wysk, R., "Graph-Theoretic Deadlock Detection and Resolution for Flexible Manufac-turing Systems," IEEE Transactions on Robotics and Automation, 11(3), 413–421 (1995).

  Google Scholar 

• Chryssolouris, G. and Lee, M., "An Assessment of Flexibility in Manufacturing Systems," Manufacturing Review,5 (2), 105–116 (1992).

  Google Scholar 

• 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).

  Google Scholar 

• Gaarder, E., "Deadlock Avoidance in Flexible Manufacturing Systems," Department of Mechanical and Industrial Engineering, University of Illinois at Urbana Champaign, masters thesis (1993).

  Google Scholar 

• Hsieh, F. and Chang, S., "Dispatching Driven Deadlock Avoidance Controller Synthesis for Flexible Manufactur-ing Systems," IEEE Transactions on Robotics and Automation, 10(2), 196–209 (1994).

  Google Scholar 

• Jafari, M., "An Architecture for a Shop-Floor Controller Using Colored Petri Nets," International Journal of Flex-ible Manufacturing Systems,4 (2), 159–181 (1992).

  Google Scholar 

• 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).

  Google Scholar 

• 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).

  Google Scholar 

• 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).

  Google Scholar 

• 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).

• Lawley, M., Reveliotis, S., and Ferreira, P., "Configurable and Scalable Real Time Control Policies for Dead-lock Avoidance in Flexible Manufacturing Systems," Proceedings of the Sixth International FAIM Conference, 758–767, Manufacturing Research Center, Georgia Institute of Technology (1996).

• Lawley, M., Reveliotis, S., and Ferreira, P., "Structural Control of Flexible Manufacturing Systems and the Neigh-borhood Policy: Parts 1 and 2," IIE Transactions,forthcoming (1997).

• Leung, Y. and Sheen, G., "Resolving Deadlocks in Flexible Manufacturing Cells," Journal of Manufacturing Systems,12 (4), 291–304 (1993).

  Google Scholar 

• Luggen, W., Flexible Manufacturing Cells and Systems,Englewood Cliffs, NJ: Prentice-Hall (1991).

  Google Scholar 

• Mateti, P. and Deo, N., "On Algorithms for Enumerating All Circuits of a Graph," SIAM Journal of Computing,5 (1), 90–99 (1976).

  Google Scholar 

• Reveliotis, S., "Structural Analysis and Control of Flexible Manufacturing Systems with a Performance Perspec-tive," Technical Report UILU-ENG 95-4045, Department of Mechanical and Industrial Engineering, University of Illinois at Urbana Champaign(1995).

  Google Scholar 

• 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).

• Reveliotis, S. and Ferreira, P., "Deadlock Avoidance Policies for Automated Manufacturing Cells," IEEE Trans-actions on Robotics and Automation,12 (6), 845–857 (1996b).

  Google Scholar 

• Robinson, D. and Foulds, L., Digraphs: Theory and Techniques. New York: Gordon and Breach (1980).

  Google Scholar 

• Silberschatz, A. and Peterson, G., Operating Systems Concepts.Reading, MA: Addison-Wesley (1991).

  Google Scholar 

• Tirpak, T., Deligiannis, S., and Davis, W., "Real-Time Scheduling in Flexible Manufacturing," Manufacturing Review,5 (3), 193–212 (1992).

  Google Scholar 

• Upton, D., "A Flexible Structure for Computer-Controlled Manufacturing Systems," Manufacturing Review, 5(1), 58–74 (1992).

  Google Scholar 

• Viswanadham, N., Narahari, Y., and Johnson, T., "Deadlock Prevention and Deadlock Avoidance in Flexible Man-ufacturing Systems Using Petri Nets," IEEE Transactions on Robotics and Automation,6 (6), 712–723 (1990).

  Google Scholar 

• 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).

  Google Scholar 

• 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).

  Google Scholar 

Download references