基于Petri网模型的高铁6‰下坡道延续进路防护方法

针对大于6‰下坡道高铁车站的延续进路防护问题,以成兰线某车站为例,研究基于Petri网模型的防护方法。以车站平面布置图为依据,建立相应的延续进路防护资源分配约束模型,包含6‰下坡道防护模型和延续进路防护故障诊断模型。通过6‰下坡道防护模型对延续进路涉及到的轨道区段占用权进行分配,实现延续进路的安全性防护;延续进路防护故障诊断模型采用形式化验证方法,通过被标记的故障库所对不可行的延续进路排列报错,实现延续进路运行计划的安全性验证。利用Petri网的可达性、有界性、安全性,对车站延续进路可能产生的列车碰撞和冲突进行仿真验证,验证结果可为列车运行计划的排列提供参考。