1. Clavel M, Durán F, Eker S, Lincoln P, Martí-Oliet N, Meseguer J, Talcott C (2003) The Maude 2.0 system. In: Proceedings of rewriting techniques and applications, June 2003. LNCS, vol 2706. Springer, Heidelberg, pp 76–87
2. Fokkink WJ, Hollingshead PR (1998) Verification of interlockings: from control tables to ladder logic diagrams. In: Proceedings of 3rd workshop on formal methods for industrial critical systems (FMICS’98), Amsterdam, May 1998. Stichting Mathematisch Centrum, pp 171–185
3. Hagalisletto AM, Bjørk J, Yu IC, Enger P (2007) Constructing and refining large-scale railway models represented by petri nets. IEEE Trans Syst Man Cybern Part C 37(4):444–460
4. Janczura CW (1998) Modelling and analysis of railway network control logic using coloured petri nets. PhD thesis, School of Mathematics and Institute for Telecommunications Research, University of South Australia, Adelaide
5. Jensen K, Kristensen LM (2009) Coloured petri nets: modelling and validation of concurrent systems. Springer, Heidelberg