Analysis of Train Operation Conflict based on Train Group Model Using Petri Nets
Impact Factor:1.806
DOI number:10.3969/j.issn.1001-8361.2015.03.001
Affiliation of Author(s):School of Electrical Engineering, Southwest Jiaotong University, Chengdu, China
Journal:Journal of the China Railway Society
Funded by:国家自然科学基金（U1134205,51207131）
Key Words:railway conflict management; conflict detection; timed colored Petri nets.
Abstract:列车运行冲突检测是铁路系统安全运营的重要保障。本文首先给出赋时着色 Petri网的形式化定义，定义变迁使能和触发规则及状态转移函数；基于赋时着色Petri网，以库表示车站／闭塞分区，托肯表示列车，建立列车群模型，为冲突检测提供模型基础。在经典Petri网冲突定理的基础上，结合库容量约束和时间间隔约束，提出列车运行冲突判定定理，并证明该方法的正确性；在此基础上，设计基于可达树的冲突分析方法，并以太原铁路局部分线路为例，通过实例介绍列车运行冲突和进路冲突检测分析的方法。基于 Petri网的列车群模型为铁路系统冲突分析问题的处理提供新的途径。
Co-author:Lei Ma,Qingyuan Wang,Xiaoyun Feng
First Author:Pengling Wang
Indexed by:Periodical papers
Document Code:1001-8361(2015)03-0001-07
Discipline:Engineering
Document Type:J
Volume:37
Issue:3
Page Number:1-7
Number of Words:6829
ISSN No.:1001-8360
Translation or Not:no
CN No.:11-2104/U
Date of Publication:2015-02-06
Links to published journals:http://tdxb.bosihw.cn/Magazine/Show.aspx?Id=41290