基于Petri网化简方法的工作流模型验证  

RESEARCH OF PETRI NET BASED WORKFLOW MODEL REDUCTION METHODS

作　　者：李建强[1] 范玉顺[1] 

机构地区：[1]清华大学自动化系,北京100084

出　　处：《信息与控制》2001年第6期492-497,共6页Information and Control

摘　　要：经营过程的建模、分析与优化是支持企业经营过程重组 (BPR)的重要基础 ,行之有效的模型分析方法是成功进行模型分析的重要的关键技术问题 .在深入分析了经营过程工作流模型特点的基础上 ,本文提出了一种基于 Petri网图形化简规则的业务过程模型分析与验证方法 ,证明了所提出这套化简规则的完备性和多项式时间的复杂性 .Bussiness process modeling, analysis and optimization are the important foundations of BPR, the efficient and effective analytical method plays a key role in model analysis. In this paper, according to the characteristics of workflow model for business process, a Petri net based verification approach that employs a set of graph reduction rules is proposed. The completeness and polynomial time complexity properties of the proposed method are proved. A case study is made to demonstrate our method.

关 键 词：经营过程重组 工作流分析 PETRI网 模型化简 BPR 企业 

分 类 号：F270.7[经济管理—企业管理]