Timed coloured petri nets and their application to logistics / Willibrordus Martinus Pancratius van der Aalst
Timed coloured petri nets and their application to logistics