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

第 30 卷第 6 期 　 信 息 与 控 制 V o l. 30,N o. 6　 200 1 年 12 月 In fo rm at ion an d Con t ro l 　D ec. , 200 1　 ( ) 文章编号: 100204 11 200 1 0649206 基于 P et r i 网化简方法的工作流模型验证 李建强　范玉顺 (清华大学自动化系　北京　100084) 摘　要: 经营过程的建模、分析与优化是支持企业经营过程重组(B PR ) 的重要基础, 行之有效的模型分析 方法是成功进行模型分析的重要的关键技术问题. 在深入分析了经营过程工作流模型特点的基础上, 本文提 出了一种基于 P et r i 网图形化简规则的业务过程模型分析与验证方法, 证明了所提出这套化简规则的完备性 和多项式时间的复杂性. 并应用一个实例证明了所提出方法的有效性. 关键词: 经营过程重组; 工作流分析; P et r i 网; 模型化简 中图分类号: T P 14　　　　　　文献标识码: B RESEA RCH O F PETR I NET BA SED W O RKFLOW M OD EL RED UCT IO N M ETHOD S 　 L I J ian q ian g FAN Yu shun ( . , , 　100084) D ep t of A u tom a tion T s ing hua U n iv ers ity B eij ing Abstract: B u ssin e ss p roce ss m ode ling, an a ly sis an d op t im izat ion are th e im po r tan t foun dat ion s o f B PR , . , th e efficien t an d effect ive an a ly t ica l m ethod p lay s a k ey ro le in m ode l an a ly sis In th is p ap er acco rd ing to th e ch aracter ist ics o f w o rk flow m ode l fo r bu sin e ss p roce ss, a P et r i n et b a sed ver ificat ion app ro ach th at em p loy s a set o f grap h redu ct ion ru le s is p ropo sed. T h e com p leten e ss an d po lynom ia l t im e com p lex ity p rop er t ie s o f th e p ropo sed m ethod are p roved. A ca se stu dy is m ade to dem on st rate ou r m ethod. Keywords: B u sin e ss p roce ss reeng in