华东交通大学学报Issue(4)：73-80,8.
基于随机Petri网的GSM-R越区切换成功率的形式化分析
Formal Analysis of GSM-R Handover Success Rate Based on the Stochastic Petri Net
摘要
关键词
随机Petri网/CTCS/GSM-R/越区切换/马尔可夫链Key words
Stochastic Petri Net/Chinese Train Control System/GSM-R/handover/Markov Chain分类
信息技术与安全科学引用本文复制引用
张友兵,刘岭,何祖涛..基于随机Petri网的GSM-R越区切换成功率的形式化分析[J].华东交通大学学报,2012,(4):73-80,8.基金项目
科学技术部国家科技支撑计划项目(2009BAG12A08) （2009BAG12A08）
