作　　者： ; ;

机构地区： 大连理工大学电子科学与技术学院计算机科学与工程系

出　　处： 《电脑开发与应用》 2006年第12期19-21,共3页

摘　　要： Petri网是一种有效的形式化建模工具,能自然地描述并发、冲突、同步等系统特性。给出基于Petri网的保险索赔工作流模型,将Petri网三要素以对象的形式描述出来,并对此工作流模型的正确性定义和验证进行了说明。 Petri nets, an effective formalized tool for workflow modeling, can describe the systemic characteristics including concurrency, conflict and synchronization etc. By presenting a workflow model for insurance claim based on Petri nets, the article describes the three key elements of Petri nets in the form of object, explains both the definition and the verification of the validity of the workflow model.

关 键 词： 工作流 网 工作流网 保险索赔

领　　域： [自动化与计算机技术] [自动化与计算机技术]