Flexible manufacturing system structural control and the Neighborhood Policy, part 1. Correctness and scalability

References

• et al. ( 1993 ) Information Technology and Manufacturing A Preliminary Report on Research Needs . Computer Science and Telecommunications Board and Manufacturing Studies Board , National Research Council . Washington . DC .
   Google Scholar
• Charr J. , Teichroew , D. and Volz , R. ( 1993 ) Real-time software methodologies are they suitable for developing manufacturing control software? International Journal of Flexible Manufacturing Systems , 5 , 95 – 128 .
   Google Scholar
• Joshi , S. , Mettala , E. and Wysk , R. ( 1992 ) CIMGEN-a computer aided software engineering tool for development of fms control co ft ware . IIE Transactions , 24 ( 3 ), 84 – 97 .
   Web of Science ®Google Scholar
• Krogh , B. , Wilson , R. and Pathak , D. ( 1988 ) Automated generation and evaluation of control programs for discrete manufacturing processes . IEEE International Conference on Computer Integrated Manufacturing, Troy, New York , 92 – 99 .
   Google Scholar
• Menon , S. ( 1990 ) Coordination Control of Flexible Manufacturing Systems , Doctoral Thesis, Department of Mechanical and Industrial Engineering , University of Illinois at Urbana Champaign .
   Google Scholar
• Upton , D. ( 1992 ) A flexible structure for computer-controlled manufacturing systems . Manufacturing Review , 5 ( 1 ), 58 – 74 .
   Google Scholar
• Brzezinski , J. , Helary , J. , Raynal , M. and Singhal , M. ( 1992 ) Deadlock models and general algorithm for distributed deadlock detection . IRISHA Technical Report No. 1776 .
   Google Scholar
• Silberschatz , A. and Peterson , G. ( 1991 ) Operating Systems Concepts , Addison-Wesley , Reading , Massachusetts .
   Google Scholar
• Kumaran , T. , Chang , W. , Cho , H. and Wysk , R. ( 1994 ) A structured approach to deadlock detection, avoidance, and resolution in flexible manufacturing systems . International Journal of Production Research , 32 , 2361 – 2379 .
   Web of Science ®Google Scholar
• Leung , Y. and Sheen , G. ( 1993 ) Resolving deadlocks in flexible manufacturing cells . Journal of Manufacturing Systems , 12 ( 4 ), 291 – 304 .
   Web of Science ®Google Scholar
• Wysk , R. , Yang , N. and Joshi , S. ( 1991 ) Detection of deadlocks in flexible manufacturing cells . IEEE Transactions on Robotics and Automation , 7 ( 6 ), 853 – 859 .
   Google Scholar
• Wysk , R. , Yang , N. and Joshi , S. ( 1994 ) Resolution of deadlocks in flexible manufacturing systems avoidance and recovery approaches . Journal of Manufacturing Systems , 13 ( 2 ), 128 – 138 .
   Web of Science ®Google Scholar
• Banaszak , Z. and Krogh , B. ( 1990 ) Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows . IEEE Transactions on Robotics and Automation , 6 ( 6 ), 724 – 734 .
   Google Scholar
• Gaarder , E. ( 1993 ) Deadlock Avoidance in Flexible Manufacturing Systems , Master's Thesis, Department of Mechanical and Industrial Engineering , University of Illinois at Urbana Champaign .
   Google Scholar
• Hsieh , F. and Chang , S. ( 1994 ) Dispatching driven deadlock avoidance controller synthesis for flexible manufacturing systems . IEEE Transactions on Robotics and Automation , 10 ( 2 ), 196 – 209 .
   Google Scholar
• Lawley , M. , Reveliotis , S. and Ferreira , P. ( 1997 ) Design guidelines for deadlock handling strategies in flexible manufacturing systems . International Journal of Flexible Manufacturing Systems ( in the press ).
   Google Scholar
• Reveliotis , S. and Ferreira , P. ( 1996 ) Deadlock avoidance policies for automated manufacturing cells . IEEE Transactions on Robotics and Automation , 12 , 845 – 857 .
   Google Scholar
• Viswanadham , N. , Narahari , Y. and Johnson , T. ( 1990 ) Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri nets . IEEE Transactions on Robotics and Automation , 6 ( 6 ), 712 – 723 .
   Google Scholar
• Araki , T. , Sugiyama , Y. , Kasami , T. and Okui , J. ( 1977 ) Complexity of the deadlock avoidance problem , in Proceedings of 2nd IBM Symposium on the Mathematical Foundations of Computer Science , pp. 229 – 252 .
   Google Scholar