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

摘要

针对正常情况下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.