随着计算机技术和网络技术的飞猛发展,人类社会的信息化进程大为加快,对信息的依赖程度越来越高。保险公司也依靠IT系统处理案件。自从20世纪70年代《协同学导论》的出现,使得协同学的理论框架正式建立,并给企业系统奠定了自组织协同的基础。公司职员相互协同办公才能使业务正常运转。一旦出现协同性的错误,会使得系统和公司无法继续前进。本文基于扩展Petri网和有限自动机对保险索赔系统的协同容错模型进行研究,主要工作如下：(1)在有限自动机中引入通配符和指数的表达形式,增加了有限自动机匹配部分字符的功能,还缩减了有限自动机状态空间。(2)提出了一种基于高级Petri网和有限自动机的保险索赔系统协同容错层次模型,该模型分为3层：应用层、检错层和恢复层。在应用层,扩展了Petri网变迁的描述能力,对保险索赔系统进行基于扩展Petri网建模,给出了一种基于扩展Petri网的可达图算法,并对模型进行基于可达图的性质分析,确保基本业务流程的正确性。在检错层,检测在应用层中的系统内部活动之间是否协同,提出了一种基于高级Petri网和有限自动机的检错算法。在恢复层,利用日志对出错的活动进行恢复。本文工作扩展了Petri网的动态描述能力,提出了一种协同容错系统的层次模型,对协同系统模型的容错研究具有很好的促进作用。