基于Petri网的保险索赔工作流模型

摘要：

　　Pctri网是一种有效的形式化建模工具，能自然地描述并发、冲突、同步等系统特性。本文给出基于Petri网的建模工作流模型，将Petri网三要素以对象的形式描述出来，并对此工作流模型的正确性定义和验证进行说明。

关键词： 保险公司 索赔 工作流模型 建模技术

作者: 齐俊艳 王磊

作者单位: 河南理工大学计算机信息学院,河南 焦作 454000

会议类型: 国内会议

会议名称: 河南省计算机学会2007年学术年会

会议地点: 洛阳

会议语种:中文

页码: 113-116

在线出版日期: 2007-08-01（万方平台首次上网日期，不代表论文的发表时间）