1. Ye Y, Jia L (2002) Model and simulation of train operation Petri net with objects. J Syst Simul 14(2):132–135, 139 (in Chinese)
2. Ye Y, Cheng S, Wang X et al (2009) Modeling and analyzing of train operation systems based on a kind of hybrid Petri net. J China Railway Soc 31(5):42–49 (in Chinese)
3. Chen J, Zhang X, Xu B (2011) Research on evaluation of railway timetable stability based on colored-timed Petri net. J Syst Simul 23(4):770–773, 816 (in Chinese)
4. Dai H, Sun Y (2003) An algebraic model for performance evaluation of timed event multi graphs. IEEE Trans Autom Control 48(7):1227–1230
5. Camurri A, Franchi P, Vitale M (1992) An object-oriented approach to high-level petri nets. Microprocess Microprogram 35(1–5):213–220