基于Petri网的工作流模型优化  

A workflow model optimization based on Petri net

作　　者：傅作为[1] 乐晓波[1] 

机构地区：[1]长沙理工大学计算机与通信工程学院,湖南长沙410004

出　　处：《长沙理工大学学报（自然科学版）》2012年第2期81-86,共6页Journal of Changsha University of Science and Technology:Natural Science

基　　金：湖南省自然科学基金资助项目(08JJ3124)

摘　　要：为了使工作流模型更简洁,在工作流网WFPN的定义的基础上,给出了利用可达性分析技术对WFPN进行合理性分析的有效方法,提出了一种通过添加抑制弧对WFPN进行优化的算法.该算法为Petri网在大规模复杂模型中的应用及其理论分析提供了一条新的思路.最后,通过一个实例说明了其优化过程,验证了该优化算法的有效性.To make the workflow model more concise,this paper gave the use of reachability analysis technique for WFPN rationality analysis method based on WFPN definitions,and presented the optimization algorithm of adding inhibitor arcs.The algorithm provides a new way of thinking for the Petri net applications in the large and complex model and theoretical analysis.Finally,optimization process is illustrated by a case,verifing the validation of the optimization algorithm.

关 键 词：PETRI网 工作流 工作流网 优化 可达图 抑制弧 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]