论文部分内容阅读
鉴于我国铁路列车行车事故多发生在区间运行过程中，以及列车在区间运行的动态特性，利用Petri网具有强大的功能描述及分析系统动态变化的特点，建立了列车区间运行系统的动态Petri网模型。通过对该模型合理性的论证，并运用此模型对实际事故案例进行分析，表明所建的列车区间运行安全Petri网模型是合理的。