Abstract
Deadlock-free operation of flexible manufacturing systems (FMSs) is an important goal of manufacturing systems control research. In this work, we develop the criteria that real-time FMS deadlock-handling strategies must satisfy. These criteria are based on a digraph representation of the FMS state space. Control policies for deadlock-free operation are characterized as partitioning cuts on this digraph. We call these structural control policies (SCPs) because, to avoid deadlock, they must guarantee certain structural properties of the subdigraph containing the empty state; namely, that it is strongly connected. A policy providing this guarantee is referred to as correct. Furthermore, an SCP must be configurable and scalable; that is, its correctness must not depend on configuration-specific system characteristics and it must remain computationally tractable as the FMS grows in size. Finally, an SCP must be efficient; that is, it must not overly constrain FMS operation. We formally develop and define these criteria, formulate guidelines for develo** policies satisfying these criteria, and then provide an example SCP development using these guidelines. Finally, we present an SCP that guarantees deadlock-free buffer space allocation for FMSs with no route restrictions.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
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).
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).
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).
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 Develo** Manufacturing Control Software?" International Journal of Flexible Manufacturing Systems,5 (2), 95–128 (1993).
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).
Chryssolouris, G. and Lee, M., "An Assessment of Flexibility in Manufacturing Systems," Manufacturing Review,5 (2), 105–116 (1992).
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).
Gaarder, E., "Deadlock Avoidance in Flexible Manufacturing Systems," Department of Mechanical and Industrial Engineering, University of Illinois at Urbana Champaign, masters thesis (1993).
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).
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).
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).
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).
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).
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).
Luggen, W., Flexible Manufacturing Cells and Systems,Englewood Cliffs, NJ: Prentice-Hall (1991).
Mateti, P. and Deo, N., "On Algorithms for Enumerating All Circuits of a Graph," SIAM Journal of Computing,5 (1), 90–99 (1976).
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).
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).
Robinson, D. and Foulds, L., Digraphs: Theory and Techniques. New York: Gordon and Breach (1980).
Silberschatz, A. and Peterson, G., Operating Systems Concepts.Reading, MA: Addison-Wesley (1991).
Tirpak, T., Deligiannis, S., and Davis, W., "Real-Time Scheduling in Flexible Manufacturing," Manufacturing Review,5 (3), 193–212 (1992).
Upton, D., "A Flexible Structure for Computer-Controlled Manufacturing Systems," Manufacturing Review, 5(1), 58–74 (1992).
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).
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).
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).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Lawley, M., Reveliotis, S. & Ferreira, P. Design Guidelines for Deadlock-Handling Strategies in Flexible Manufacturing Systems. International Journal of Flexible Manufacturing Systems 9, 5–30 (1997). https://doi.org/10.1023/A:1007937925728
Issue Date:
DOI: https://doi.org/10.1023/A:1007937925728