为建立能跟踪列车、进路、股道变化踪迹且与车站站场布局及结构无关的车站通用模型,将客运专线车站站场视为由进路和股道这两类个体组成;引入时间参数将谓词/变迁-系统(Pr/T-S)扩充为定时/谓词变迁-系统(TPr/T-S).扩充后的系统既能在仿真中跟踪每个个体的状态变化踪迹,又能描述个体状态变化与时间的联系.基于列车、进路、股道等三类个体和TPr/T-S建立了与车站拓扑和规模无关的客运专线车站通用模型.对徐州东站的仿真试验数据显示了进路、股道等设施的占用情况,仿真时间段内车站进路平均利用率为34％,每列列车都能分配到可用进路,表明所采用的运行图是安全、可行的,也证实了此通用模型的有效性.
Petri网 定时谓词/变迁-系统 咽喉区 客运专线 仿真