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

• 作者: 李媛 王瑞峰 程金山
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 列控系统 无线闭塞中心(RBC) 等级转换场景 有色Petri网
• 年，卷（期）: 2015,（10）
• 所属期刊栏目: 工程与应用
• 页码范围: 266-270
• 页数: 5页
• 分类号: TP393
• 字数: 3638字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1305-0519

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王瑞峰	兰州交通大学自动化与电气工程学院	61	395	10.0	17.0
2	李媛	兰州交通大学自动化与电气工程学院	2	10	2.0	2.0
3	程金山	兰州交通大学光电技术与智能控制教育部重点实验室	2	10	2.0	2.0