摘要
为了满足工作流模型在建模能力上的要求,提出一种添加复位弧对工作流网进行扩展的方法,并给出该方法的形式化表示方法。通过一个保险索赔模型,利用可达图对该方法进行合理性分析。最后,证明了带复位弧工作流模型的合理性是不可判定的。
Abstract 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 teachability graph. Finally, we prove that the rationality of the workflow model with reset arcs is undecid- able.
出处
《计算机应用与软件》
CSCD
北大核心
2013年第9期173-175,233,共4页
Computer Applications and Software
基金
湖南省自然科学基金项目(08JJ3124)
