S. Bartkevičius, V. Bagdonas, M. Juraška, and K. Šarkauskas, “Train Traffic Simulation with Coloured Petri Nets and Schedule Optimisation”, ELEKTRON ELEKTROTECH, vol. 59, no. 3, Mar. 2005.