| 摘要 | 第1-6页 |
| Abstract | 第6-11页 |
| 1. 绪论 | 第11-15页 |
| ·研究背景和意义 | 第11-12页 |
| ·国内外研究现状 | 第12-13页 |
| ·本文工作 | 第13页 |
| ·论文的组织 | 第13-15页 |
| 2. 基础知识 | 第15-21页 |
| ·Petri网知识 | 第15-19页 |
| ·协同技术 | 第19页 |
| ·有限自动机 | 第19-21页 |
| 3. 基于扩展Petri网的保险索赔系统建模与分析 | 第21-29页 |
| ·Petri网变迁的扩展描述能力 | 第21-22页 |
| ·保险索赔系统的需求分析 | 第22-23页 |
| ·保险索赔系统的描述 | 第23-24页 |
| ·基于扩展Petri网的保险索赔系统模型 | 第24-29页 |
| 4. 保险索赔系统的协同容错模型 | 第29-49页 |
| ·保险索赔容错系统层次模型 | 第29-31页 |
| ·保险索赔容错系统检错基础构建 | 第31-33页 |
| ·基于高级Petri网和有限自动机的检错技术 | 第33-46页 |
| ·基于高级Petri网和自动机的检错过程 | 第46-49页 |
| 5. 总结与展望 | 第49-50页 |
| ·本文总结 | 第49页 |
| ·进一步的研究工作 | 第49-50页 |
| 参考文献 | 第50-53页 |
| 作者读研期间参加的科研项目和发表的论文 | 第53-54页 |
| 致谢 | 第54页 |