[1] 刘春煌, 桑苑秋, 李继先, 等. 沪宁线行车安全监控信息网络技术方案和管理中心的研究[J]. 中国铁道科学, 2002, 23(6): 17-25. [2] 张惟皎, 刘春煌, 蒋荟, 等. 铁路行车安全综合监控系统的复杂性研究[J]. 铁道运输与经济, 2004, 26(9): 39-41. [3] Tomita K, Ito K.Software in an evolving train traffic control system[J]. IEEE Software (S0740-7459), 2011, 28(2): 19-21. [4] 谢金鑫. 基于模糊优化方法的高速列车运行调整问题研究 [D]. 北京: 北京交通大学, 2011. [5] 叶阳东, 杜彦华, 贾利民. 面向对象Petri子网的列车群运行系统模型[J]. 中国铁道科学, 2002, 23(4): 83-90. [6] 刘春煌, 杜彦华. 基于对象Petri子网模型的列车群分布式仿真[J]. 中国铁道科学, 2006, 27(1): 109-114. [7] Bai Zixi, Zhou Leishan, Yue Yixiang.The Simulation of High-speed Train Operation Using a Semi-physical Model[C]// Proceedings of the 12th International Conference of Transportation Professionals (CICTP 2012). Reston, VA, USA: American Society of Civil Engineers, 2012: 1691-1699. [8] Xu B, Zhang L.Modeling of Train Control Systems Using Formal Techniques [M]// Computer Engineering and Networking. Springer International Publishing, 2014: 1349-1356. [9] Zafar N A, Khan S A, Araki K.Towards the Safety Properties of Moving Block Railway Interlocking System[J]. International Journal of Innovative Computing Information and Control (S1349-4198), 2012, 8(8): 5677-5690. [10] 刘宝宏. 面向对象建模与仿真 [M]. 北京: 清华大学出版社, 2011: 191. [11] 袁崇义. Petri网原理与应用 [M]. 北京: 电子工业出版社, 2005: 285. |