基于Petri网的单线铁路车站会让系统  

Avoidance System Based on Petri Net for Single-track Railway Station

作　　者：张博 ZHANG Bo(China Railway Communication and Signal Survey and Design Institute Co.,Ltd.,Beijing 100036,China)

机构地区：[1]中铁通信信号勘测设计院有限公司,北京100036

出　　处：《高速铁路技术》2023年第2期48-52,共5页High Speed Railway Technology

摘　　要：单线铁路车站会让过程的安全性和高效性一直以来是研究的重点。本文引入离散事件系统的建模工具Petri网,建立了单线铁路车站会让的综合模型,采用形式化验证的方法仿真模拟列车在站内会让的过程。研究成果可为单线铁路列车站内运行计划提供安全验证和事故预警。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.

关 键 词：单线铁路 时延PETRI网 列车会让 故障预警 

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