| 基于 Petri 网的保险索赔工作流模型 |
| |
| 引用本文： | 齐俊艳,王磊.基于 Petri 网的保险索赔工作流模型[J].电脑开发与应用,2006,19(12):19-21. |
| |
| 作者姓名： | 齐俊艳 王磊 |
| |
| 作者单位： | 大连理工大学计算机科学与工程系,大连,116023;河南理工大学计算机信息学院,焦作,454000;河南理工大学计算机信息学院,焦作,454000 |
| |
| 摘 要： | Petri网是一种有效的形式化建模工具,能自然地描述并发、冲突、同步等系统特性。给出基于Petri网的保险索赔工作流模型,将Petri网三要素以对象的形式描述出来,并对此工作流模型的正确性定义和验证进行了说明。
|
| 关 键 词： | 工作流 Petri网 工作流网 保险索赔 |
| 文章编号： | 1003-5850（2006）12-0009-03 |
| 收稿时间： | 2006-06-28 |
| 修稿时间： | 2006-10-07 |
A Workflow Model for Insurance Claim based on Petri Nets |
| |
| Qi Junyan.A Workflow Model for Insurance Claim based on Petri Nets[J].Computer Development & Applications,2006,19(12):19-21. |
| |
| Authors: | Qi Junyan |
| |
| Abstract: | 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. |
| |
| Keywords: | workflow Petri nets WF-net insurance claim |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
