Abstract
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.