Coloured timed Petri net model for real-time control of automated guided vehicle systems