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

计算机工程与应用 ›› 2015, Vol. 51 ›› Issue (10): 266-270.

• 工程与应用 • 上一篇

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

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

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

出版日期:2015-05-15 发布日期:2015-05-15

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

摘要/Abstract

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

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

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

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

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]	王颖卓，刘中田. CTCS-1级列控系统等级转换场景建模与验证[J]. 计算机工程与应用, 2019, 55(18): 256-262.
[2]	董健，戴胜华. 基于CPN的列控系统等级转换建模与分析[J]. 计算机工程与应用, 2018, 54(2): 208-213.
[3]	秦发园1，戴胜华1，徐昱2. 进路建立过程的时间有色petri网建模与仿真[J]. 计算机工程与应用, 2015, 51(8): 266-270.
[4]	杨诚1，项勇1，张立刚2，刘泽平1. 基于DoDAF和Petri网的预警作战体系研究[J]. 计算机工程与应用, 2015, 51(5): 44-49.
[5]	车玉龙，苏宏升. 基于贝叶斯网络的列控系统安全风险评估方法[J]. 计算机工程与应用, 2013, 49(24): 238-242.
[6]	郑文艳. 基于CPN的物流配送系统模型正确性的证明[J]. 计算机工程与应用, 2013, 49(11): 228-231.
[7]	范玉涛1，苏桂平2. 一种适于带时间戳安全协议的形式化分析方法[J]. 计算机工程与应用, 2012, 48(36): 116-120.
[8]	李沛武1，雷金娥2. 有色Petri网的扩展使用控制策略模型设计[J]. 计算机工程与应用, 2012, 48(33): 96-100.

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

Analysis on level transition scenario modeling based on CPN

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 8

编辑推荐

Metrics