Analysis of Railway Stations by means of Interval Timed Coloured Petri Nets

van der Aalst, Wil M. P.; Odijk, M. A.

(1995) [Fachzeitschriftenartikel]

Real-time systems
Band: 9
Ausgabe: 3
Seite(n): 241-263

Identifikationsnummern