基于Petri网工作流模型的分析