Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems

IEEE Transactions on Automatic Control

Volumn 42, Issue 10, 1997, Pages 1344-1357

  Reveliotis, Spiridon A ^a,b   Lawley, Mark A ^c   Ferreira, Placid M ^d  

^a IEEE   (United States)

^b Georgia Institute of Technology   (United States)

^c SCHOOL OF INDUSTRIAL ENGINEERING   (United States)

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

Author keywords

Complexity; Deadlock; Deadlock avoidance; Flexibly automated production systems; Resource allocation systems

Indexed keywords

FACTORY AUTOMATION; FAULT TOLERANT COMPUTER SYSTEMS; FLEXIBLE MANUFACTURING SYSTEMS; RESOURCE ALLOCATION;

POLYNOMIAL COMPLEXITY DEADLOCK AVOIDANCE POLICIES; SEQUENTIAL RESOURCE ALLOCATION SYSTEMS;

COMPUTER SYSTEM RECOVERY;

EID: 0031259373     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.633824     Document Type: Article

References (24)

1. J. L. Peterson, Operating System Concepts Reading, MA: Addison-Wesley, 1981.
2. E. W. Dijkstra, "Cooperating sequential processes," Technological Univ., Eindhoven, The Netherlands, Tech. Rep., 1965.
3. A. N. Habermann, "Prevention of system deadlocks," Comm. ACM, vol. 12, pp. 373-377, 1969.
4. J. W. Havender, "Avoiding deadlock in multi-tasking systems," IBM Syst. J., vol. 2, pp. 74-84, 1968.
5. R. D. Holt, "Some deadlock properties of computer systems," ACM Computing Surveys, vol. 4, pp. 179-196, 1972.
6. E. G. Coffman, M. J. Elphick, and A. Shoshani, "System deadlocks," Computing Surveys, vol. 3, pp. 67-78, 1971.
7. T. Araki, Y. Sugiyama, and T. Kasami, "Complexity of the deadlock avoidance problem," in 2nd IBM Symp. Math. Found. Computer Sci., IBM, 1977, pp. 229-257.
8. E. M. Gold, "Deadlock prediction: Easy and difficult cases," SIAM J. Computing, vol. 7, pp. 320-336, 1978.
9. M. Lawley, S. Reveliotis, and P. Ferreira, "Design guidelines for deadlock handling strategies in flexible manufacturing systems," Int. J. Flexible Manufacturing Syst., vol. 9, pp. 5-30, 1997.
10. S. A. Reveliotis and P. M. Ferreira, "Deadlock avoidance policies for automated manufacturing cells," IEEE Trans. Robotics Automat., vol. 12, pp. 845-857, 1996.
11. Z. A. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robotics Automat., vol. 6, pp. 724-734, 1990.
12. S. A. Reveliotis, M. A. Lawley, and P. M. Ferreira, "Structural control policies for flexible manufacturing systems," in Proc. 11th Int. Conf. Computer Aided Production Engineering, Inst. Mechanical Engineers, 1995, pp. 255-260.
13. J. Brzezinski, J.-M. Helary, M. Raynal, and M. Singhal, "Deadlock models and general algorithms for distributed deadlock detection," Ohio State Univ., Tech. Rep., 1994.
14. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Comptuation. Reading, MA: Addison-Wesley, 1979.
15. P. J. G. Ramadge and W. M. Wonham, "The control of discrete event systems," in Proc. IEEE, vol. 77, pp. 81-98, 1989.
16. M. R. Garey and D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness. New York: W. H. Freeman, 1979.
17. Y. T. Leung and G. J. Sheen, "Resolving deadlocks in flexible manufacturing cells," J. Manufacturing Syst., vol. 12, pp. 291-304, 1994.
18. R. A. Wysk, N. S. Yang, and S. Joshi, "Resolution of deadlocks in flexible manufacturing systems Avoidance and recovery approaches," J. Manufacturing Syst., vol. 13, pp. 128-138, 1994.
19. N. Viswanadham, Y. Narahari, and T. L. Johnson, "Deadlock avoidance in flexible manufacturing systems using petri net models," IEEE Trans. Robotics Automat., vol. 6, pp. 713-722, 1990.
20. M. A. Lawley, "Structural analysis and control of flexible manufacturing systems," Ph.D. dissertation, Univ. Illinois, Urbana, 1995.
21. S. A. Reveliotis, "Structural analysis and control of flexible manufacturing systems with a performance perspective," Ph.D. dissertation, Univ. Illinois, Urbana, 1996.
22. S. A. Reveliotis and P. M. Ferreira, "An analytical framework for evaluating and optimizing the performance of structurally controlled fms," in Proc. IEEE Int. Conf. Robotics Automat., 1996, pp. 864-869.
23. _, "Performance evaluation of structurally controlled fms: Exact and approximate approaches," in Flexible Automation Intelligent Manufacturing, Manufacturing Research Center, Georgia Tech., 1996, pp. 829-838.
24. R. K. Ahuja, T. L. Magnanti, and J. B. Orlin, Network Flows: Theory, Algorithms and Applications. Englewood Cliffs, NJ: Prentice-Hall, 1993.