基于Petri网的崇凭铁路车站联锁进路建模与仿真  

Modeling and Simulation of Station Interlocking Route of Chongzuo-Pingxiang Railway Based on Petri Net

作　　者：王陆睎 WANG Luxi(China Railway Eryuan Engineering Group Co.,Ltd.,Chengdu 610031,China)

机构地区：[1]中铁二院工程集团有限责任公司,成都610031

出　　处：《高速铁路技术》2022年第5期25-30,共6页High Speed Railway Technology

摘　　要：作为一种形式化建模工具,Petri网被广泛应用于铁路等离散事件系统。本文以新建崇凭铁路某车站站内联锁进路控制为研究背景,借助Petri网仿真模拟列车在站内的运行过程。结果表明,本文的模型可对站内调度计划的安全性进行核查,通过被标记的故障库所的含义定位不可行的调度计划问题所在,并对其进行修正,从而确保列车在站内的安全运行。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.

关 键 词：车站联锁进路 时延PETRI网 形式化验证 站内调度计划 

分 类 号：U284.3[交通运输工程—交通信息工程及控制]