基于一种混合Petri网的列车运行系统的建模与分析

摘要

针对列车运行系统中连续变量和离散事件的混合描述问题,提出一种混合Petri网建模方法.相对于已有的列车运行系统建模方法,该方法用连续库所和连续变迁描述系统中连续变量的变化过程;采用关联方程表示连续托肯中相应的连续属性的变化;定义相对应的变迁触发规则表示连续变量、离散事件、人参与等多种因素的相互作用.由列车运行系统的混合Petri网模型分析表明,该方法可以有效地描述连续变量与离散事件的交互,并能够进行列车运行过程中的速度限值、监测点距离、离散事件发生的时间区间的分析.由于列车运行系统是一类典型的混杂系统,该方法具有普适性.