基于Petri网技术的动车组检修作业工作流系统研究

摘要

Facing with the current inspection and maintenance of EMUs, this paper abstracted the rules of working process, established the workflow. Based on workflow and Petri-net technology, the paper established the model of this workflow, analyzed the established Petri-net model from the two aspects of correctness and functions by using the method of workflow Petri-net technology.%针对目前动车组检修业务,抽象出作业过程规则,并建立动车组检修作业工作流程.通过工作流和Petri网的相关理论对该工作流进行建模,并利用Petri网技术分析方法,从模型的正确性分析和性能评价两个方面对所建立的Petri网模型进行分析.