张孙敏,方 欢,2

(1.安徽理工大学 数学与大数据学院,安徽 淮南 232001;2.安徽省煤矿安全大数据分析与预警技术工程实验室,安徽 淮南 232001)

近年来,随着车辆的普及,相应的机动车保险理赔业务得到了飞速发展。但根据实践表明,在现有的车险理赔流程中,仍然存在各种问题,使得一些不法分子利用车险理赔流程中的漏洞骗保,因此,有必要对车险理赔流程进行建模分析。因为流程是工作流管理中一个主要因素,所以使用一个已经建立的框架来建模和分析工作流流程非常重要。Petri网就是一种基础良好的流程建模技术,因此,被用来对各种各样的流程进行建模和分析,如文献[1-4]。但由于信息系统中事件数据不断增长,若能够以更全面的方式捕获流程中的重要信息、流程中许多其他特征如时间、资源、数据流,对目前的流程分析至关重要[5]。因此,传统的Petri网在颜色、时间和层次上都得到了扩展。如文献[6]利用时空混成Petri网对无人机集群系统的离散状态和连续过程进行建模,有效解决了系统中物理和计算之间的融合以及事件交互问题。文献[7]使用逻辑延时Petri网对停车预定系统进行建模并构建可达图,对系统中的重分配问题以及车位的利用率问题进行分析。文献[8]基于着色Petri网对城市地下物流服务供应链的流程进行设计,使用着色Petri网相关性质对供应链运作流程的效率和可靠性进行分析。文献[9]使用博弈Petri网对地铁应急决策过程进行建模,并构建可达图对问题进行分析。……