Modeling and deadlock control of automated guided vehicle systems

IEEE/ASME Transactions on Mechatronics

Volumn 9, Issue 1, 2004, Pages 50-57

  Wu, Naiqi ^a   Zhou, MengChu ^b,c  

^a GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^c INSTITUTE OF AUTOMATION   (China)

Author keywords

Automated guided vehicle (AGV) systems; Deadlock avoidance; Modeling; Petri nets (PNs)

Indexed keywords

CONTROL SYSTEM SYNTHESIS; MATERIALS HANDLING EQUIPMENT; MATHEMATICAL MODELS; PETRI NETS; REMOTELY OPERATED VEHICLES;

AUTOMATED GUIDED VEHICLE SYSTEMS; AUTOMATED MANUFACTURING SYSTEMS; DEADLOCK AVOIDANCE;

FACTORY AUTOMATION;

EID: 1942518458     PISSN: 10834435     EISSN: None     Source Type: Journal    
DOI: 10.1109/TMECH.2004.823875     Document Type: Article

References (20)

1. M. C. Zhou, "Deadlock avoidance methods for a distributed robotic system: Petri net modeling and analysis," J. Robot. Syst., vol. 12, no. 3, pp. 177-187, 1995.
2. M. C. Zhou, F. DiCesare, and A. Desrochers, "A hybrid methodology for synthesis of Petri nets models for manufacturing systems," IEEE Trans. Robot Automat., vol. 8, pp. 350-361, June 1992.
3. R. A. Wysk, N. S. Yang, and S. Joshi, "Detection of deadlocks in flexible manufacturing cells," IEEE Trans. Robot. Automat., vol. 7, pp. 853-879, Dec. 1991.
4. Y. T. Leung and G. Shen, "Resolving deadlocks in flexible manufacturing cells," J. Manufact. Syst., vol. 12, no. 4, pp. 291-304, 1993.
5. Z. A. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robot. Automat., vol. 6, pp. 724-734, Dec. 1990.
6. Viswanadham, Y. Narahari, and T. L. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. Robot Automat., vol. 6, pp. 713-723, Dec. 1990.
7. N. Q. Wu, "Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model," IEEE Trans. Syst., Man, Cybern. C, vol. 29, pp. 182-204, May 1999.
8. K. Y. Xing, B. S. Hu, and H. X. Chen, "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources," IEEE Trans. Automat. Contr., vol. 41, pp. 289-295, Feb. 1996.
9. M. P. Fanti, B. Maione, S. Mascolo, and B. Turchiano, "Event-based feedback control for deadlock avoidance in flexible production systems," IEEE Trans. Robot. Automat., vol. 13, pp. 347-363, June 1997.
10. G. A. Koff, "Automatic guided vehicle: Application, control, and planning," Material Flows, vol. 4, pp. 3-16, 1987.
11. S. A. Reveliotis, "Conflict resolution in AGV systems," IIE Trans., vol. 32, no. 7, pp. 647-659, 2000.
12. C.-C. Lee and J. T. Lin, "Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems," Avoiding deadlock and reducing starvation, vol. 33, pp. 3249-3265, 1995.
13. M.-S. Yeh and W.-C. Yeh, "Deadlock prediction and avoidance for zone-control AGVS," Avoiding deadlock and reducing starvation, vol. 36, no. 10, pp. 2879-2889, 1998.
14. Y. A. Bozer and M. M. Srinivasan, "Tandem configuration for automated guided vehicle systems and the analysis of single vehicle loops," IIE Trans., vol. 23, no. 1, pp. 72-82, 1991.
15. Sinriech and J. M. A. Tanchoco, "An introduction to the segmented flow approach for discrete material flow systems," Int. J. Prod. Res., vol. 33, no. 12, pp. 3381-3410, 1995.
16. N. Q. Wu and M. C. Zhou, "Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems," IEEE Trans. Robot. Automat., vol. 17, pp. 657-668, Oct. 2001.
17. T. Murata, "Petri nets: Properties, analysis, and application," Proc. IEEE, vol. 77, pp. 541-579, Apr. 1989.
18. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
19. K. Jensen, "Colored Petri nets and the invariant method," Theor. Comput. Sci., vol. 14, pp. 317-336, 1984.
20. N. Wu and M. C. Zhou, "Resource-oriented Petri nets in deadlock avoidance of AGV systems," in Proc. 2001 IEEE Int. Conf. Robotics and Automation, Seoul, Korea, 2001, pp. 64-69.