Deadlock control of autonomous vehicle storage and retrieval systems via coloured timed Petri nets and digraph tools

International Journal of Production Research

Volumn 47, Issue 12, 2009, Pages 3253-3263

  He, S J ^a   Luo, J ^a  

^a XIAMEN UNIVERSITY   (China)

Author keywords

Autonomous vehicle storage and retrieval systems; Autonomous vehicle system; Coloured timed Petri net; Cycle deadlock; Route digraph

Indexed keywords

AUTONOMOUS VEHICLE STORAGE AND RETRIEVAL SYSTEMS; AUTONOMOUS VEHICLES; BI-DIRECTION; COLOURED TIMED PETRI NETS; CRITICAL STATE; CYCLE-DEADLOCK; DEADLOCK CONTROL; DEADLOCK FREE; FCFS POLICY; FREE CONTROL; KEY ISSUES; RUNNING-IN; SUFFICIENT CONDITIONS; TIMED PETRI NET;

CRITICAL CURRENT DENSITY (SUPERCONDUCTIVITY); GRAPH THEORY; INFORMATION RETRIEVAL; PETRI NETS; SCHEDULING ALGORITHMS;

VEHICLES;

EID: 70349419784     PISSN: 00207543     EISSN: 1366588X     Source Type: Journal    
DOI: 10.1080/00207540701832426     Document Type: Article

References (11)

1. Basile, F., Carbone, C. and Chiacchio, P., 2001. Modeling of AS/RS via coloured Petri nets. In: Proceedings of the 2001 IEEE/ASME international conference on advanced intelligent mechatronics, Como, Italy. USA: IEEE Inc., 1029-1034.
2. Dotoli, M. and Fanti, M.P., 2002. Modeling of an AS/RS serviced by rail-guided vehicles with colored Petri nets: a control perspective. Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics, Hammamet, Tunisia. USA: IEEE Computer Society Press, 162-167.
3. Fanti, M.P., Giua, A., and Seatzu, C., 2006. Monitor design for colored Petri nets: an application to deadlock prevention railway networks. Control Engineering Practice, 14, 1231-1247.
4. Fanti, M.P., 2002. Event-based controller to avoid deadlock and collisions in zone control AGVS. International Journal of Production Research, 40 (6), 1453-1478.
5. Fukunari, M., 2005. Analytical foundations for autonomous vehicle storage and retrieval systems using load transfer station based dwell point strategies. Thesis (PhD). Rensselaer Polytechnic Institute.
6. He, S.J., Cheng F. and Luo, J., 2007. Modeling and implementing of an automated warehouse via colored timed Petri nets - a behavior perspective. 6th IEEE International Conference On Control and Automation, Guangzhou, China. USA: IEEE Inc., 2823-2828.
7. Hsieh, S., Hwang, J.S., and Chou, H.C., 1998. A Petri net based structure for AS/RS operation modelling. International Journal of Production Research, 36 (12), 3323-3346.
8. Lin, S.C. and Wang, H.P.B., 1995. Modeling an automated storage and retrieval system using Petri nets. International Journal of Production Research, 33 (1), 237-260.
9. Malmborg, C.J., 2002. Conceptualising tools for autonomous vehicle storage and retrieval systems. International Journal of Production Research, 40 (8), 1807-1822.
10. Reveliotis, S.A., 2000. Conflict resolution in AGV systems. IIE Transactions, 32, 647-659.
11. Wu, N.Q. and Zhou, M.C., 2004. Deadlock modeling and control of automated guided vehicle systems. IEEE ASME Transactions of Mechatronics, 9 (1), 50-57.