首页 | 本学科首页   官方微博 | 高级检索  
     

基于Petri网化简方法的工作流模型验证
引用本文:李建强,范玉顺.基于Petri网化简方法的工作流模型验证[J].信息与控制,2001,30(6):492-497.
作者姓名:李建强  范玉顺
作者单位:清华大学自动化系,北京,100084
摘    要:经营过程的建模、分析与优化是支持企业经营过程重组(BPR)的重要基础,行之有 效的模型分析方法是成功进行模型分析的重要的关键技术问题.在深入分析了经营过程工作 流模型特点的基础上,本文提出了一种基于Petri 网图形化简规则的业务过程模型分析与验 证方法,证明了所提出这套化简规则的完备性和多项式时间的复杂性.并应用一个实例证明 了所提出方法的有效性.

关 键 词:经营过程重组  工作流分析  Petri    模型化简
文章编号:1002-0411(2001)06-492-06

RESEARCH OF PETRI NET BASED WORKFLOW MODEL REDUCTION METHODS
LI Jian,qiang FAN Yu,shun.RESEARCH OF PETRI NET BASED WORKFLOW MODEL REDUCTION METHODS[J].Information and Control,2001,30(6):492-497.
Authors:LI Jian  qiang FAN Yu  shun
Abstract: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.
Keywords:Business process reengineering  workflow analysis  petri nets  model reduction
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《信息与控制》浏览原始摘要信息
点击此处可从《信息与控制》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号