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

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

(1995)
Journal Article

In: Real-time systems
Volume: 9
Issue: 3
Page(s)/Article-Nr.: 241-263