一种基于Petri网的工作流模型分解方法

An Approach of Decomposition of Workflow Models Based on Petri Net

工作流网的模型化简是模型有效分析的前提。在了解了工作流网及T-组件网相关定义的基础上,对工作流网的结构化简方法进行了分析,提出了一种简洁有效的工作流网模型的自由选择子网分解算法,给出了算法的过程同时也给出了算法的时间复杂度分析。最后,在算法的应用方面,将所提出的模型分解方法与目前常用的工作流网结构化简方法相结合,不仅可以有效提高模型化简的效率,而且还可以在模型化简的同时进行基于业务实例子网的模型分析。

Model reduction of workflow nets is the premise of effective analysis of models. On the basis of introduction of workflow nets and T - components relative definitions, the structure reduction methods of workflow nets are analyzed, a pithy and effective algorithm of free choice subnets decomposing for workflow nets is proposed and the time complexity analyzing is provided. Combining the model reduction approach proposed with the general structure reduction methods of workflow nets which is in common use at present, not only the efficiency of model reduction is raised, but also the models can be analyzed based on business instance subnets at the same time of model reduction.