[1]王陆睎.基于Petri 网的崇凭铁路车站联锁进路建模与仿真[J].高速铁路技术,2022,13(05):25-30.[doi:10.12098/j.issn.1674-8247.2022.05.006]
　WANG Luxi.Modeling and Simulation of Station Interlocking Route of Chongzuo- Pingxiang Railway Based on Petri Net[J].HIGH SPEED RAILWAY TECHNOLOGY,2022,13(05):25-30.[doi:10.12098/j.issn.1674-8247.2022.05.006]
点击复制

基于Petri 网的崇凭铁路车站联锁进路建模与仿真()
分享到：

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

卷:
13卷
期数:
2022年05期
页码:
25-30
栏目:
理论探索
出版日期:
2022-10-01

文章信息/Info

Title:
Modeling and Simulation of Station Interlocking Route of Chongzuo- Pingxiang Railway Based on Petri Net
文章编号:
1674-8247(2022)05-0025-06
作者:
王陆睎
(中铁二院工程集团有限责任公司， 成都610031)
Author(s):
WANG Luxi
(China Railway Eryuan Engineering Group Co. ，Ltd. ，Chengdu 610031 ，China)
关键词:
车站联锁进路;  时延Petri 网;  形式化验证;  站内调度计划
Keywords:
station interlocking route; latency Petri Net; formal verification; in-station dispatching plan
分类号:
U284.3
DOI:
10.12098/j.issn.1674-8247.2022.05.006
文献标志码:
A
摘要:
作为一种形式化建模工具，Petri 网被广泛应用于铁路等离散事件系统。本文以新建崇凭铁路某车站 站内联锁进路控制为研究背景，借助Petri 网仿真模拟列车在站内的运行过程。结果表明，本文的模型可对 站内调度计划的安全性进行核查，通过被标记的故障库所的含义定位不可行的调度计划问题所在，并对其进 行修正，从而确保列车在站内的安全运行。
Abstract:
As a formal modeling tool，Petri Net is widely used in discrete-event systems such as railways. In this paper，the interlocking route control in a station on the newly-built Chongzuo-Pingxiang Railway is modeled，and the Petri Net is used as a tool to simulate the operation process of the train in the station. The results show that the model in this paper can check the safety of the dispatching plan in the station，locate the infeasible dispatching plan problem through the meaning of the marked fault library，and correct it to ensure the safe operation of the train in the station.

参考文献/References:

［1］ 张蕾. 基于Petri 网建模的作业车间调度智能算法研究［D］. 南京： 南京理工大学， 2012. ZHANG Lei. Research on Intelligent Algorithm of Job Shop Scheduling Based on Petri Net Modeling[D］. Nanjing： Nanjing University of Science and Technology， 2012.
［2］ 叶阳东， 贾利民. 基于对象Petri 网的列车运行模型及仿真［J］. 系统仿真学报， 2002， 14(2)： 132 - 135. YE Yangdong， JIA Limin. Model and Simulation of Train Operation Petri Net with Objects［J］. Acta Simulata Systematica Sinica， 2002， 14(2)： 132 - 135.
［3］ 程磊. 基于Petri 网模型的铁路智能调度问题研究［D］. 武汉： 华 中科技大学， 2002. CHENG Lei. Research on Railway Intelligent Dispatching Problem Based on Petri Net Model[D］. Wuhan： Huazhong University of Science and Technology， 2002.
［4］ 王诗慧. 基于Petri 网的铁路运输安全的研究及应用［D］. 天津： 天津科技大学， 2014. WANG Shihui. The Reserch and Application of Railway Transportation Safety Based on Petri Net［D］. Tianjin： Tianjin University of Science & Technology， 2014.
［5］ CAI H， WU WH， ZHANG C D， et al. Modelling Safety Monitors of Safety-Critical Railway Systems by Formal Methods［C］／／6th IET Conference on Railway Condition Monitoring( RCM 2014). Birmingham. IET： 1 - 5.
［6］ RUSSO A G， LADENBERGER L. A Formal Approach to Safety Verification of Railway Signaling Systems［C］／／2012 Proceedings Annual Reliability and Maintainability Symposium. Reno， NV， USA. IEEE： 1 - 4.
［7］ 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). Shenyang， China. IEEE： 1 - 6.
［8］ 曹峰. 计算机联锁系统安全评估分析与研究［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.
［9］ 张晓龙. 列控中心与联锁通信故障处理［J］. 高速铁路技术， 2015， 6(4)： 22 - 25. ZHANG Xiaolong. Treatment of Communication Fault between Train Control Center and Interlocking［J］. High Speed Railway Technology， 2015， 6(4)： 22 - 25.

备注/Memo

备注/Memo:
收稿日期：2021 -10 -10
作者简介：王陆睎(1995 -)，男，助理工程师。
更新日期/Last Update: 2022-10-01