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

A workflow model optimization based on Petri net

为了使工作流模型更简洁,在工作流网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.