| Article ID: | iaor19911639 |
| Country: | United Kingdom |
| Volume: | 29 |
| Issue: | 5 |
| Start Page Number: | 865 |
| End Page Number: | 879 |
| Publication Date: | May 1991 |
| Journal: | International Journal of Production Research |
| Authors: | Zeng L., Wang H.-P.B., Jin S. |
| Keywords: | automated guided vehicles |
This research project investigates and develops techniques for automatically detecting potential vehicle conflicts in an automated guided vehicle (AGV) system. Three activities are involved: (1) construction of a set of formal definitions of Petri nets for modelling AGV systems; (2) development of procedures for detection of vehicle routeing conflicts; (3) development of a simulation program of the procedure. In this paper the first two activities are discussed in detail, and examples are provided.