[1]徐田华,唐涛.基于有色Petri网的ETCS通信系统与列车间隔分析[J].系统仿真学报, 2007, 19(21): 5038-5041. [XU T H, TANG T. Colored petri netsbased performance analysis of train headway in ETCS communication system[J]. Journal of System Simulation, 2007, 19(21): 5038-5041.]
[2]牛儒, 曹源, 唐涛. ETCS2级列控系统RBC交接协议的形式化分析[J]. 铁道学报, 2009, 31(4): 52-58. [NIU R, CAO Y, TANG T. Formal modeling and analysis of RBC handover protocol for ETCS level 2 using stochastic petri nets[J]. Journal of the China Railway Society, 2009, 31(4): 52-58.]
[3]曹源, 牛儒, 唐涛, 等. 基于SPN的越区切换模型分析[J]. 铁道学报, 2009, 31(4): 104-107. [CAO Y, NIU R, TANG T, et al. Analysis of handover model based on stochastic petri net[J]. Journal of the China Railway Society, 2009, 31(4): 104-107.]
[4]陈永, 王晓明, 党建武,等. 基于SPN的CTCS无线通信形式化建模与分析[J]. 铁道学报, 2011, 33(8): 63-68. [CHEN Y, WANG X M, DANG J W, et al. Formal modeling and analyzing od CTCS radio communication based on stochastic petri nets[J]. Journal of the China Railway Society, 2011, 33(8): 63-68.]
[5]Zimmermann A, Hommel G. A train control system case study in modelbased real time system design[C]//Proceedings of International Parallel and Distributed Processing Symposium. Nice,France: IEEE Computer Society, 2003: 118-130.
[6]ERTMS/ETCS SUBSET039: FIS for the RBC/RBC handover [EB/0L]. http://www.aeif.org/db/docs/ccm/SUBSET052, v212. 2005.
[7]铁道部科技运[2008]168 号. CTCS3 级列控系统GSMR 网络需求规范(V1.0)[S]. 中国铁道出版社, 2008. [KeJiYun[2008]168. Specifications for GSMR network requirements of CTCS3 train control system (V1.0) [S]. The Ministry of Railways of the People’s Republic of China, 2008.]
[8]铁道部科技运[2008] 127号. CTCS3级列控系统系统需求规范(SRS)[S]. 中国铁道出版社, 2008. [KeJiYun[2008]127. Specifications for requirements of CTCS3 train control system(SRS)(V1.0)[S]. The Ministry of Railways of the People’s Republic of China, 2008.] |