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

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

(1995)
Fachzeitschriftenartikel

In: Real-time systems
Band: 9
Heft: 3
Seite(n)/Artikel-Nr.: 241-263