中文摘要：

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

英文摘要：

The paper presents a novel modeling approach with the Hybrid Petri net aimed at describing continuous parameters and discrete events in train operation systems. Compared with existing modeling approaches, it uses continuous places and transitions to describe the changing process of continuous parameters, and it defines relevant equations to model the evolution of continuous parameters within tokens in continuous places. It also defines the corresponding firing rules for the interactions among continuous variables, discrete events, human operators and others factors. By means of modeling and analyzing train operation systems, the approach can effectively describe the interaction between continuous parameters and discrete events, and analyze the speed limitation, distance of waypoint and time interval for the occurring of events. The train operation system is a representative hybrid system, so it has the pervasiveness property.