Abstract: In order to implement the real time control of the Rail-Guided Vehicles systems, a deadlock control modeling method via Dual Colored Timed Petri Nets was proposed. Moreover, the scheduling strategy for the RGVs system based on shortest path method was add

Key words: Autonomous vehicle storage and retrieval systems, Rail-guided vehicles systems, Cycle-deadlock, Petri nets