基于 Petri网的扩展工作流模型研究

摘要

To satisfy the requirements of workflow model in modelling capability , in this paper we put forward a method to extend the work-flow net by adding the reset arc , and propose its formal representation method .Then, the rationality analysis on this method is made by using an insurance claim model and the reachability graph .Finally, we prove that the rationality of the workflow model with reset arcs is undecid-able.%为了满足工作流模型在建模能力上的要求，提出一种添加复位弧对工作流网进行扩展的方法，并给出该方法的形式化表示方法。通过一个保险索赔模型，利用可达图对该方法进行合理性分析。最后，证明了带复位弧工作流模型的合理性是不可判定的。