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

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

单线铁路车站会让过程的安全性和高效性一直以来是研究的重点。本文引入离散事件系统的建模工具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.