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

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