面向petri 网化简方法的工作流模型验证.pdfVIP

李建强，范玉顺，《信息与控制》，Vol.30 ，No.6 ，2001 ，pp.492-497 基于 Petri 网化简方法的工作流模型验证 李建强 范玉顺 清华大学自动化系，北京 100084 摘要：经营过程的建模、分析与优化是支持企业经营过程重组（BPR ）的重要基础，行之有 效的模型分析方法是成功进行模型分析的重要的关键技术问题。在深入分析了经营过程工作 流模型特点的基础上，本文提出了一种基于 Petri 网图形化简规则的业务过程模型分析与验 证方法，证明了所提出这套化简规则的完备性和多项式时间的复杂性。并应用一个实例证明 了所提出方法的有效性。 关键词：经营过程重组，工作流分析，Petri 网，模型化简 一、引言(Introduction) ： BPR 的实质是企业根据市场的需要以企业经营过程为核心重构企业的关键业务流程，并 建立与其匹配的运行机制和组织结构，实现对经营过程的有效管理和控制。它一般分为五个 阶段：项目规划、企业经营过程建模、模型分析与优化、基于模型的企业经营过程重组实施 和项目评价与监控.。在这个过程中模型分析与优化是企业实施BPR 中非常重要的一个环节， 对 BPR 成功与否起着至关重要的作用。近几年来，作为支持 BPR 的重要技术的工作流技术 得到了广泛的重视，但是由于工作流技术产生于实际应用，缺乏良好的理论基础，应用工作 流方法建立的企业经营过程模型缺乏必要的行之有效的模型验证和模型分析方法。所以研究 如何从理论上验证所建立的过程模型结构的合理性，研究如何评价所建立的模型的性能和优 化模型的方法显得尤其重要。 反映企业经营过程的工作流模型的正确性、有效性、和高性能是模型分析和优化的主要 内容，所以我们把模型分析分成三个部分：模型证实、模型验证、模型性能分析。其中模型 证实从一般模型分析的角度来讲仅是证实模型完成其功能的有效性，而在我们要研究的模型 性能分析中则是需要确认模型是否与要描述的真实世界中系统相一致。模型验证也包括两个 方面：一方面它作为单独分析工作流模型的正确性（不存在结构上或行为上的死锁等）的静 态分析方法而存在，另一方面它作为模型性能分析的一部分，即在进行模型性能仿真之前， 验证仿真模型（企业环境或经营过程描述等）的正确性。模型性能分析一般指通过仿真获得 的仿真数据（业务平均处理时间、资源平均利用率等）来评估新建立的经营过程是否满足目 标需求。 虽然现在绝大部分的工作流产品都提供模型性能分析的仿真功能，但由于复杂性等原因 很难找到一种有效的算法对模型进行分析与验证。本文在总结模型分析研究成果现状的基础 上，针对目前模型验证方法存在的不足，总结了 Petri 网模型分析中的一些图形化简规则， 针对企业经营过程模型的特点并利用文[1]中提出的模型正确性标准，提出了一种具有完备 性和高效率的工作流模型的模型验证方法。本文第二节对工作流模型及工作流模型验证与分 析现状进行了分析；第三节介绍相关 Petri 网知识，并给出了一种从工作流联盟的过程定义 到工作流网的模型映射方法；第四节详细讨论了我们提出的工作流模型验证方法，并以实例 进行了说明。 二、工作流模型及验证方法现状(Workflow Model and Its Verification ) 目前有很多方法都可以用来进行工作流（过程）模型的定义和描述，如：WFMC 定义 语言、EPCM 模型、Petri 网等。尽管各种工作流建模方法形式上不尽相同，但它们都能提 李建强，范玉顺，《信息与控制》，Vol.30 ，No.6 ，2001 ，pp.492-497 供对逻辑顺序结构，资源使用，路由控制信息等流程定义所必须的要素的描述。从研究中我 们认识到工作流模型对企业经营业务过程的完整描述一般应包括五个方面（见图 1）：过程 视图、信息视图、资源视图、组织视图，功能视图。过程视图用来定义实现某种经营目的或 经营目标需要那些活动，及它们执行的顺序或相互约束关系。功能视图从过程或活动的功能 的角度对工作流模型进行描述，包括输入、输出、约束、资源（人或物）的操作等。资源视 图和组织视图是工作流模型从资源配置或分配的角度对经营过程进行描述，它包括组织划分 和基于活动的资源分配等，以此来完成与过程模型的关联。信息视图则主要 信息视图