基于CPN的等级转换场景建模分析  

Analysis on level transition scenario modeling based on CPN

作　　者：王瑞峰[1] 李媛[1] 程金山[2] 

机构地区：[1]兰州交通大学自动化与电气工程学院,兰州730070 [2]兰州交通大学光电技术与智能控制教育部重点实验室,兰州730070

出　　处：《计算机工程与应用》2015年第10期266-270,共5页Computer Engineering and Applications

基　　金：国家科技型中小企业创新基金(No.11c26216203816)

摘　　要：针对正常情况下CTCS-2级列控系统和CTCS-3级列控系统之间的等级转换,探讨了一种基于有色Petri网模型的系统建模方法。模型中引入非周期消息模型,模拟在GSM-R网络中RBC(无线闭塞中心,Radio Block Centre)与车载设备之间消息的传送过程,并建立基于有色Petri网的等级转换控车场景模型,讨论在不同消息重发时间间隔、不同列车速度对等级转换场景完成成功率的影响。验证了该建模方法的有效性,说明了影响等级转换成功率的因素。For the normal circumstances level transition between CTCS-2 and CTCS-3 train control system, this paper discusses a modeling method based on colored Petri net system which introduces a non-periodic message model. It simu-lates the message delivery process between RBC and vehicle devices in the GSM-R. And it establishes the level transition control scene model based on colored Petri net, discusses the affect of different messages retransmission interval and dif-ferent train speed to level transition scene complete success rate. This paper verifies the validity of the modeling method, illustrates the factors affecting the success rate of the level transition.

关 键 词：列控系统 无线闭塞中心(RBC) 等级转换场景 有色PETRI网 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]