列车运行调度是铁路运输日常工作中的一项核心工作,涉及到众多的部门和专业技术领域,列车在车站的运行调度是其中的一个重要组成部分。以列车在车站的运行调度为背景,通过对列车在车站运行调度的特点进行分析,本文采用Petri理论对列车在车站的运行调度进行了研究,建立了列车在车站的运行调度模型并对调度计划可行性进行了分析。主要研究工作内容如下:(1)对Petri网理论和列车在车站运行调度相关理论进行了研究,指出列车运行调度是一个典型的离散事件系统。Petri网作为离散事件系统建模、性能分析的一种有效工具,适合用来对列车运行调度问题进行研究。(2)对列车在车站的运行调度模型进行研究。通过将着色Petri网和赋时Petri网相结合,给出赋时着色Petri网的形式化描述并建立列车在车站运行调度的层次模型。(3)仿真分析。采用CPN TOOLS仿真工具对模型进行仿真分析,验证模型的有效性。本文通过对Petri网理论和列车运行调度相关理论的研究,建立了列车在车站的运行调度的层次模型。仿真结果表明了模型的有效性和正确性。该模型对验证列车在车站运行调整方案的可行性具有重要的理论价值和实用价值。