基于Petri网工作流模型地分析.DOCVIP

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