In: International Journal of Production Research, Vol. 29, No. 5, pages 865-879. May 1991.
Abstract: The research project considered 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 the paper the first two activities are discussed in detail, and examples are provided.
Keywords: conflict detection (of) automated guided vehicles; vehicle routeing conflict.