A colored Petri net model for the France Paris metro system
Modelling Railway Interlocking Tables Using Coloured Petri Nets