基于着色赋时Petri网的列车运行仿真模型

摘要

引入着色赋时Petri网(CTPN)分别建立了铁路列车固定闭塞和准移动闭塞情况下区间运行、车站联锁控制系统的仿真模型。对列车在闭塞区间运行建模解决了两个问题：1)固定闭塞和移动闭塞条件下的闭塞占用表达;2)列车在区间行驶时间不确定性的设置。对采用CTCS2级列车运行控制系统的车站进行建模的关键在于描述车站的联锁控制机制。文中分别给出“接车进路”，“发车进路”和“通过进路”的CTPN模型，并用Petri网描述了车站控制中心。最后利用Exspect软件搭建了仿真系统，为科学评价列车运行计划，优化列车调度指挥提供了工具平台。