摘要
单线铁路车站会让过程的安全性和高效性一直以来是研究的重点。本文引入离散事件系统的建模工具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.
作者
张博
ZHANG Bo(China Railway Communication and Signal Survey and Design Institute Co.,Ltd.,Beijing 100036,China)
出处
《高速铁路技术》
2023年第2期48-52,共5页
High Speed Railway Technology