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

RESEARCH ON PETRI NET-BASED EXTENDED WORKFLOW MODEL

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

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

出　　处：《计算机应用与软件》2013年第9期173-175,233,共4页Computer Applications and Software

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

摘　　要：为了满足工作流模型在建模能力上的要求,提出一种添加复位弧对工作流网进行扩展的方法,并给出该方法的形式化表示方法。通过一个保险索赔模型,利用可达图对该方法进行合理性分析。最后,证明了带复位弧工作流模型的合理性是不可判定的。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.

关 键 词：PETRI网 工作流 工作流网 可达图 复位弧合理性 

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