A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems

References

• BANASZAK , Z. A. , and KROOH , B. H. , 1990 , Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows . IEEE Transactions on Robotics and Automation , 6 , 724 – 734 .
   Google Scholar
• CHANG , T. C. WYSK , R. A. , and WANG , H. P. , 1991 , Computer-Aided Manufacturing ( Englewood Cliffs , NJ Prentice Hall ).
   Google Scholar
• CHO , H. , and WYSK , R. A. , 1993 , A robust adaptive scheduler for an intelligent workstation controller . International Journal of Production Research , 31 ( 4 ), 771 – 789 .
   Web of Science ®Google Scholar
• CHO , H. , KUMARAN , T. K. , and WYSK , R. A. , 1992 , A Graph-theoretic approach to deadlock detection and avoidance in manufacturing systems . Industrial Engineering Working Paper , Texas A&M University , 92 – 121 .
   Google Scholar
• COFFMAN , E. G. , ELPHICK , M. J. , and SHOSHANI , A. , 1971 , System Deadlocks . Computing Surveys , 3 , 67 – 78 .
   Google Scholar
• DAVIS , W. J. , and JONES , A. T. , 1989 , A functional approach to designing architectures for CIM . IEEE Transactions on Systems, Man, and Cybernetics , 19 , 164 – 174 .
   Web of Science ®Google Scholar
• GOLD , E. M. , 1978 , Deadlock prediction easy and difficult cases , SI AM Journal on Computing , 7 ( 3 ), 320 – 336 .
   Web of Science ®Google Scholar
• HABERMANN , A. N. , 1969 , Prevention of system deadlocks . Communications of the ACM , 12 , 373 – 378 .
   Web of Science ®Google Scholar
• HOLT , R. C. 1971 , Comments on prevention of system deadlocks . Communications of the ACM , 14 , 36 – 38 .
   Web of Science ®Google Scholar
• HOWARD , J. H. Jr. , 1973 , Mixed solutions for the deadlock problem . Communications of the ACM , 16 , 427 – 130 .
   Web of Science ®Google Scholar
• JONES , A. T. , and MCLEAN , C. R. , 1986 , A proposed hierarchical control model for automated manufacturing systems . Journal of Manufacturing Systems , 5 , 15 – 25 .
   Web of Science ®Google Scholar
• JOSHI , S. , WYSK , R. A. , and JONES , A. T. , 1991 , A scalable architecture for CIM shop floor control . Working paper , Penn State University .
   Google Scholar
• MATETI , P. , and DEO , N. , 1976 , On algorithms for enumerating all circuits of a graph , SIAM Journal of Computing , 5 , 90 – 99 .
   Google Scholar
• VISWANADHAN , N. , and NARAHARI , Y. and JOHNSON , T. L. , 1990 , Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models . IEEE Transactions on Robotics and Automation , 6 , 713 – 723 .
   Google Scholar
• WYSK , R. A. , and YANG , B. N. , and JOSHI , S. , 1991 , A detection procedure for resolution of system deadlocks in real time control of flexible manufacturing systems . IEEE Transactions on Robotics and Automation , 7 , 853 – 859 .
   Google Scholar
• YANG , N. , 1989 , Resolution of system deadlock in real time control of flexible manufacturing systems . PhD thesis , Penn State University .
   Google Scholar