关键词：CTCS；有色Petri网；RBC切换；车载设备
摘 要：在CTCS-3级列控系统中,车载设备在执行RBC切换过程中所用时间的长短和切换成功概率的大小,严重影响着列车的运行效率.本文利用有色Petri网对车载设备进行RBC切换的两种方式分别建模,模型中引入GSM-R故障模型和非周期消息模型,模拟在GSM-R网络中消息的传输过程和重发机制.研究结果表明:基于两部车载电台的RBC切换方式比基于一部车载电台的RBC切换方式所用时间更少,效率更高.列车速度、消息重发时间间隔都会影响列车执行RBC切换的时间.消息重发时间间隔和RBC重叠范围又会影响车载设备进行RBC切换的成功概率.