摘要：为增强机务信息系统的适用性与柔性，设计了基于Petri网工作流的机车行修管理系统，建立了机车行修业务流程的工作流逻辑网，应用化简规则验证了该工作流逻辑网的畅通性，同时通过建立的工作流语义网消解了工作流逻辑网上的资源共享冲突。以工作流网为基础、以工作流管理引擎为核心设计的机车行修管理系统已在有关部门安装运行。

关键词：petri网 工作流 信息管理系统 机车检修 

单位：兰州交通大学机电技术研究所; 甘肃兰州730070