Modellvalidierung von zeitbegrenzten logistischen Prozessketten mit Interval Timed Coloured Petri Nets.

Sebastian Vastag

Browse the full GI paper archive.