Modelling Railway Interlocking Tables Using Coloured Petri Nets
Railway signalization and interlocking design via Automation Petri Nets