A Coloured Petri Net- and D* Lite-Based Traffic Controller for Automated Guided Vehicles | Publicación