Modelling Railway Interlocking Tables Using Coloured Petri Nets
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems