基于Petri网工作流模型的分析晋蓓，冯卫兵（1. 西北大学计算机科学系，陕西 西安；2. 西安科技大学基础部，陕西 西安）摘要：通过模型分析发现所描述的过程定义中的设计错误，以便对业务过程重构提供正确的指导和科学的依据。首先将信牌驱动模型转化为Petri网，接着将Petri网进行必要化简，最后对化简后的Petri网进行死锁等分析。关键词： 工作流模型；Petri网；死锁 中图分类号：TP911.7 文献标识码：A 文章编号：1000-274X(2004)0068-07工作流模型的分析是指采用各种方法（包括理论模型、模拟、测量方法），对工作流模型的内部行为进行分析计算，使得工作流模型在理论上是正确和有效的。虽然现在绝大部分的工作流产品都提供模型性能分析的仿真功能，但由于复杂性等原因，很难找到一种有效的算法对模型进行分析与验证。本文在总结模型分析研究成果现状的基础上，针对目前模型验证方法存在的不足，总结了Petri网模型分析中的一些图形化简规则，针对企业经营过程模型的特点并利用文中提出的模型正确性标准，提出了一种具有
