Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems

References

• BANASZAK , Z. A. ,KROGH. B. H. 1990 , Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows . IEEE Transactions on Robotics and Automation , 6 ( 6 ), 724 – 734 .
   Google Scholar
• COFFMAN , E. G. , ELPHICK , M. J. , and SHOSHANI , A. 1971 , System deadlocks . ACM Computing Surveys ., 3 ( 2 ), 67 – 78 .
   Google Scholar
• HABERMANN , A. N. 1969 , Prevention of system deadlocks . Communications of the ACM , 12 ( 7 ). 373 – 385 .
   Web of Science ®Google Scholar
• KIM , C. W. , and TANCHOCO , J. M. A. 1991 , Conflict–free shortest–time bi–directional AGV routeing . International Journal of Production Research , 29 ( 12 ), 2377 – 2391 .
   Web of Science ®Google Scholar
• KOFF , G. A. 1987 , Automatic guided vehicle systems application, control, and planning . Material Flows , 4 , 3 – 16 .
   Google Scholar
• LEUNG , Y. T. ,SHEEN, G.–J. 1993 , Resolving deadlocks in flexible manufacturing cells . Journal of Manufacturing Systems . 12 ( 4 ), 291 – 304 .
   Web of Science ®Google Scholar
• LIN , J. T. ,LEE, C.–C. 1992 , A modular approach for the modeling of a class of zone–control conveyor system using timed Petri nets . International Journal of Computer Integrated Manufacturing , 5 ( 4 and 5 ), 277 – 289 .
   Web of Science ®Google Scholar
• MALMBORG , C. J. 1990 , A model for the design of zone–control automated guided vehicle systems . International Journal of Production Research , 28 ( 10 ), 1741 – 1758 .
   Web of Science ®Google Scholar
• MURATA , T. 1989 , Petri nets properties, analysis, and application . Proceedings of the IEEE , 77 ( 4 ), 541 – 579 .
   Web of Science ®Google Scholar
• MURATA , T. , SHENKER , B. , and SHATZ , S. M. 1989 , Detection of a static deadlock using Petri net invariants . IEEE Transactions on Software Engineering , 15 ( 3 ), 314–326 .
   Google Scholar
• PETERSON , J. L. 1981 , Petri Net Theory and the Modeling of Systems ( Englewood Cliffs , New Jersey Prentice–Hall ).
   Google Scholar
• SIFAKIS , J. 1980 , Deadlocks and livelocks in transition systems . In Lecture Notes in Computer Science Mathematical Foundations of Computer Science , 88 , P. Dembinski (ed.) , 587 – 600 .
   Google Scholar
• TSUTSUI , S. , and FUJIMOTO , Y. 1987 , Deadlock prevention in process computer systems . The Computer Journal , 30 ( 1 ), 20 – 26 .
   Web of Science ®Google Scholar
• VISWANADHAM , N. , 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 ( 6 ), 713 – 723 .
   Google Scholar
• VISWANADHAM , N. ,NARAHARI. Y. 1992 , Performance Modeling of Automated Manufacturing Systems , Chapter 5 ( Englewood Cliffs , New Jersey Prenlice–Hall ).
   Google Scholar
• WYSK , R. A. , YANG , N. S. , and JOSHI , S. 1991 , Detection of deadlocks in flexible manufacturing cells . IEEE Transactions on Robotics and Automation , 7 ( 6 ), 853 – 859 .
   Google Scholar
• ZENG , L. , WANG, H.–P., and JIN , S. 1991 , Conflict detection of automated guided vehicles a Petri net approach . International Journal of Production Research , 29 ( 5 ). 865 – 879 .
   Web of Science ®Google Scholar