基于Petri网列车群模型的列车运行冲突分析

• 作者: 冯晓云 王青元 王鹏玲 马磊
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: 铁路冲突管理 冲突检测 赋时着色Petri网
• 年，卷（期）: 2015,（3）
• 所属期刊栏目: 铁道运输
• 页码范围: 1-7
• 页数: 7页
• 分类号: U292.4+8
• 字数: 6516字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8361.2015.03.001

摘要

列车运行冲突检测是铁路系统安全运营的重要保障。本文首先给出赋时着色Petri 网的形式化定义，定义变迁使能和触发规则及状态转移函数；基于赋时着色Petri网，以库表示车站/闭塞分区，托肯表示列车，建立列车群模型，为冲突检测提供模型基础。在经典Petri网冲突定理的基础上，结合库容量约束和时间间隔约束，提出列车运行冲突判定定理，并证明该方法的正确性；在此基础上，设计基于可达树的冲突分析方法，并以太原铁路局部分线路为例，通过实例介绍列车运行冲突和进路冲突检测分析的方法。基于Petri网的列车群模型为铁路系统冲突分析问题的处理提供新的途径。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马磊	西南交通大学电气工程学院	35	228	10.0	13.0
2	冯晓云	西南交通大学电气工程学院	169	2280	27.0	37.0
3	王青元	西南交通大学电气工程学院	33	578	13.0	24.0
4	王鹏玲	西南交通大学电气工程学院	5	87	4.0	5.0