Analysis on level transition scenario modeling based on CPN

Computer Engineering and Applications ›› 2015, Vol. 51 ›› Issue (10): 266-270.

Analysis on level transition scenario modeling based on CPN

WANG Ruifeng1, LI Yuan1, CHENG Jinshan2

1.School of Automation and Electrical Engineering, Lanzhou Jiaotong University, Lanzhou 730070, China
2.Key Laboratory of Opto-Electronic Technology and Intelligent Control of the Ministry of Education, Lanzhou Jiaotong University, Lanzhou 730070, China

Online:2015-05-15 Published:2015-05-15

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

王瑞峰1，李媛1，程金山2

1.兰州交通大学自动化与电气工程学院，兰州 730070
2.兰州交通大学光电技术与智能控制教育部重点实验室，兰州 730070

Abstract

Abstract: 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 simulates 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 different 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.

Key words: train control system, Radio Block Centre（RBC）, level transition scene, colored Petri nets

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

关键词: 列控系统, 无线闭塞中心（RBC）, 等级转换场景, 有色Petri网

WANG Ruifeng1, LI Yuan1, CHENG Jinshan2. Analysis on level transition scenario modeling based on CPN[J]. Computer Engineering and Applications, 2015, 51(10): 266-270.

王瑞峰1，李媛1，程金山2. 基于CPN的等级转换场景建模分析[J]. 计算机工程与应用, 2015, 51(10): 266-270.

[1]	WANG Yingzhuo, LIU Zhongtian. Modeling and Verification of Level Transition Scenario of Train Control System CTCS-1 [J]. Computer Engineering and Applications, 2019, 55(18): 256-262.
[2]	DONG Jian, DAI Shenghua. Modeling and formal analysis of level transition based on colored Petri nets [J]. Computer Engineering and Applications, 2018, 54(2): 208-213.
[3]	ZHENG Wenyan. Performance simulation of uncertainty inventory based on colored petri nets [J]. Computer Engineering and Applications, 2014, 50(22): 250-255.
[4]	CHE Yulong, SU Hongsheng. Risk assessment method on train control system using Bayesian network [J]. Computer Engineering and Applications, 2013, 49(24): 238-242.
[5]	LIU Yonglei1，2, JIN Zhigang3. Security analysis of WPS in WLAN [J]. Computer Engineering and Applications, 2013, 49(21): 87-89.
[6]	LI Peiwu1, LEI Jin’e2. Extended usage control strategy model based on colored Petri net design [J]. Computer Engineering and Applications, 2012, 48(33): 96-100.
[7]	HAN Zhaochao，HUANG Shucai. Modeling of union ATBM system based on colored Petri nets [J]. Computer Engineering and Applications, 2011, 47(6): 235-238.
[8]	CHEN Yong，HU Xiao-hui，DANG Jian-wu. Application stochastic Petri nets theory on GSM-R system simulating [J]. Computer Engineering and Applications, 2010, 46(30): 208-211.
[9]	,,,. Improved Algorithm of Slide Window Protocol for SUNA [J]. Computer Engineering and Applications, 2007, 43(2期): 145-145.