摘要
经营过程的建模、分析与优化是支持企业经营过程重组 (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.
出处
《信息与控制》
CSCD
北大核心
2001年第6期492-497,共6页
Information and Control
