基于HCPN的列车运行调度模型分析

Analysis of Train Operation Schedule Model Based on Hybrid Colored Petri Net

结合已有的列车运行调度模型,采用Petri网分析方法对列车运行调度模型在理论上进行了分析和证明,指出模型具有结构有界性、部分守恒性、活性等离散性质以及调度库所的作用,保证了模型的正确性和有效性。通过对模型的分析,得出列车运行调度问题的本质是一个最优控制问题。

Based on the existed model on train operation schedule, the model was theoretically analyzed using petri net analysis method. It was indicated that the model had some discrete properties such as structural boundeness, partial conservativeness, liveness and so on, then the function of the dispatching place in this model was also pointed out. The result showed that the model was correct and valid in theory. The conclusion was drown that the train operation schedule problem essentially was an optimum control one