CAJ | 학술논문

针对正常情况下CTCS-2级列控系统和CTCS-3级列控系统之间的等级转换，探讨了一种基于有色Petri网模型的系统建模方法。模型中引入非周期消息模型，模拟在GSM-R网络中RBC（无线闭塞中心，Radio Block Centre）与车载设备之间消息的传送过程，并建立基于有色Petri网的等级转换控车场景模型，讨论在不同消息重发时间间隔、不同列车速度对等级转换场景完成成功率的影响。验证了该建模方法的有效性，说明了影响等级转换成功率的因素。
침대정상정황하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.