论文部分内容阅读
列车运行冲突检测是铁路系统安全运营的重要保障。本文首先给出赋时着色Petri网的形式化定义,定义变迁使能和触发规则及状态转移函数;基于赋时着色Petri网,以库表示车站/闭塞分区,托肯表示列车,建立列车群模型,为冲突检测提供模型基础。在经典Petri网冲突定理的基础上,结合库容量约束和时间间隔约束,提出列车运行冲突判定定理,并证明该方法的正确性;在此基础上,设计基于可达树的冲突分析方法,并以太原铁路局部分线路为例,通过实例介绍列车运行冲突和进路冲突检测分析的方法。基于Petri网的列车群模型为铁路系统冲突分析问题的处理提供新的途径。
Train operation conflict detection is an important guarantee for the safe operation of the railway system. In this paper, we first give the formal definition of time-stained Petri nets, and define the transition enable and trigger rules and state transition functions. Based on the timed colored Petri net, the library represents the station / occlusion partition, Token represents the train and the train group model , To provide the model basis for conflict detection. Based on the classical Petri net conflict theorem, this paper proposes the judgment theorem of train operation conflict and proves the correctness of the method based on the combination of the database capacity constraint and the time interval constraint. Based on this, we design a collision analysis method based on reachable tree Taking the Taiyuan Railway Administration as an example, some examples are given to introduce the methods of train operation conflict and approach conflict detection and analysis. The train group model based on Petri nets provides a new way to handle the conflict analysis of railway systems.