Abstract
Presents a colored resource-oriented Petri net (CROPN) modeling method to deal with conflict and deadlock arising in automated guided vehicles (AGV) systems. Some unique features in AGV systems require further investigation into their deadlock avoidance using CROPN models. The proposed approach can easily handle both bidirectional and unidirectional paths. Bidirectional paths offer additional flexibility, efficiency and less cost than unidirectional paths. Yet they exhibit more challenging AGV management problems. By modeling nodes with places and lanes with transitions, one can easily construct a CROPN model for dynamic AGV systems with changing routes. A control policy suitable for real-time control implementation is then proposed.