Open menu
Willibrordus Martinus Pancratius van der Aalst
Timed coloured Petri nets and their application to logisitics