A colored Petri net model for the France Paris metro system
Verification of Railway Interlocking Tables using Coloured Petri Nets