[1]张博.基于Petri网的单线铁路车站会让系统[J].高速铁路技术,2023,14(02):48-52.[doi:10.12098/j.issn.1674-8247.2023.02.010]
　ZHANG Bo.Avoidance System Based on Petri Net for Single-track Railway Station[J].HIGH SPEED RAILWAY TECHNOLOGY,2023,14(02):48-52.[doi:10.12098/j.issn.1674-8247.2023.02.010]
点击复制

基于Petri网的单线铁路车站会让系统()
分享到：

《高速铁路技术》[ISSN:1674-8247/CN:51-1730/U]

卷:
14卷
期数:
2023年02期
页码:
48-52
栏目:
出版日期:
2023-04-30

文章信息/Info

Title:
Avoidance System Based on Petri Net for Single-track Railway Station
文章编号:
1674-8247（2023）02-0048-05
作者:
张博
中铁通信信号勘测设计院有限公司，? 北京100036
Author(s):
ZHANG Bo
China Railway Communication and Signal Survey and Design Institute Co. ， Ltd. ， Beijing? 100036 ，China
关键词:
单线铁路; 时延Petri网; 列车会让; 故障预警
Keywords:
single-track railway; latency Petri net; train avoidance; fault warning
分类号:
U284.3
DOI:
10.12098/j.issn.1674-8247.2023.02.010
文献标志码:
A
摘要:
单线铁路车站会让过程的安全性和高效性一直以来是研究的重点。本文引入离散事件系统的建模工具Petri网，建立了单线铁路车站会让的综合模型，采用形式化验证的方法仿真模拟列车在站内会让的过程。研究成果可为单线铁路列车站内运行计划提供安全验证和事故预警。
Abstract:
The safety and efficiency of the avoidance in station of single-track railway has always been the focus of research. In this paper，Petri net，a modeling tool of the discrete-event system，was introduced to establish a comprehensive model of avoidance in single-track railway station，and the formal verification method was used to simulate the process of avoidance of trains in a station. The research results can provide safety verification and accident warning for the train operation planning of a single-track railway station.

参考文献/References:

［1］朱雷鹏. 基于元胞自动机的单线铁路准移动闭塞仿真研究：以青藏铁路格拉段为例［D］. 兰州：兰州交通大学，2021. ZHU Leipeng. Simulation Research on Moving-like Block of Single-track Railway Based on Cellular Automata-A Case Study of Golmud Lhasa Section of Qinghai-Tibet Railway［D］. Lanzhou：Lanzhou Jiatong University，2021.
［2］王宏刚. 复线列车运行调度的层次Petri模型及仿真［J］. 系统仿真学报，2011，23（12）：2793 - 2798，2804. WANG Honggang. Hierarchical Petri Net Model and Simulation for Train Traffic Control on Double Railway［J］. Journal of System Simulation，2011，23（12）：2793 - 2798，2804.
［3］朱子轩，鲁工圆，何必胜，等. 单线铁路网络列车运行智能调度仿真研究［J］. 计算机仿真，2019，36（5）：194 - 201. ZHU Zixuan，LU Gongyuan，HE Bisheng，et al. Simulation Research on Intelligent Dispatching of Train Operation on Single-track Railway Network［J］. Computer Simulation，2019，36（5）：194 - 201.
［4］曹峰. 计算机联锁系统安全评估分析与研究［J］. 高速铁路技术， 2015，6（4）：1 - 3. CAO Feng. Analysis and Research on Safety Assessment of Computer Interlocking System［J］. High Speed Railway Technology，2015，6 （4）：1 - 3.
［5］唐滔. 基于Petri网和遗传算法的车间作业调度问题研究［D］.成都：西南交通大学，2009. TANG Tao. Research on JSP Scheduling Method Based on Petri Nets and Genetic Algorithm［D］. Chengdu：Southwest Jiaotong University，2009.
［6］WANG Luxi，TONG Yin，WANG Xiaomin. Modeling and Verification of Train Operation in Stations and Block Sections Using Petri Nets［C］. 2020 2nd International Conference on Industrial Artificial Intelligence （IAI）. October 23 - 25，2020，Shenyang，China. IEEE，2020 ：1 - 6.
［7］姚勋勋，王宏刚. 基于HCPN的列车运行调度模型分析［J］. 交通运输工程与信息学报，2011，9（4）：119 - 124. YAO Xunxun，WANG Honggang. Analysis of Train Operation Schedule Model Based on Hybrid Colored Petri Net［J］. Journal of Transportation Engineering and Information，2011，9（4）：119 -124.

备注/Memo

备注/Memo:
收稿日期：2022-04-11
作者简介：张博（1984-），男，高级工程师。
更新日期/Last Update: 2023-04-30