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

摘要：

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

关键词：铁路冲突管理、冲突检测、赋时着色Petri网

分类号：U292.4+8(铁路运输管理工程)

资助基金：国家自然科学基金U1134205,51207131

在线出版日期：2015-04-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1-7