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

Analysis of Train Operation Conflict based on Train Group Model Using Petri Nets

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

Train operation conflict detection is an important security assurance for the railway network. The formal definition of the Time Colored Petri nets （TCPNs） was introduced firstly to define the transition enab- ling and firing rules and the state transition function. On the basis of the TCPNs theory, the train group model was developed with the places presenting the stations or block sections and the tokens presenting the traveling trains, to provide a model basis for conflict detection. A train operation conflict detection rule was established in accordance with classical Petri net collision theory, as well as the train operation constraints, capacity con- straints and time interval constraints. The conflict detection method was proved to be effective. Based on the a- bove works, a conflict prediction algorithm by searching the reachability tree for conflict markings was designed. Finally, the effectiveness of the conflict prediction and detection method is verified by a case study of some rail lines of the Taiyuan Railway Bureau. The train group model using TCPNs provides a new approach for the conflict detection and analysis in the railway system.