针对目前动车组检修业务,抽象出作业过程规则,并建立动车组检修作业工作流程。通过工作流和Petri网的相关理论对该工作流进行建模,并利用Petri网技术分析方法,从模型的正确性分析和性能评价两个方面对所建立的Petri网模型进行分析。