基于数据Petri网的车险理赔流程建模和分析  

Modeling and analysis of automobile insurance claim process based on data Petri Net

作　　者：张孙敏 方欢 ZHANG Sunmin;FANG Huan(College of Mathematics and Big Data,Anhui University of Science and Technology,Huainan 232001,China;Anhui Province Engineering Laboratory for Big Data Analysis and Early Warning Technology of Coal Mine Safety,Huainan 232001,China)

机构地区：[1]安徽理工大学数学与大数据学院,安徽淮南232001 [2]安徽省煤矿安全大数据分析与预警技术工程实验室,安徽淮南232001

出　　处：《黑龙江工程学院学报》2023年第6期23-28,共6页Journal of Heilongjiang Institute of Technology

基　　金：国家自然科学基金项目(61902002)。

摘　　要：数据Petri网能够将工作流网与案例数据、决策相结合,从而实现控制流视角和数据视角的交互,并且数据Petri网还具有坚实的形式化基础和清晰的执行语义。然而现在大多数流程建模只考虑控制流,并未考虑数据流。因此,基于数据Petri网对发生交通事故时保险公司车险理赔流程进行设计建模,利用ProM工具将所建立的数据Petri网模型转换为具有有界颜色域颜色Petri网,并对其稳健性进行分析。实验结果表明所构建的数据Petri网模型在控制流和数据感知方面都是稳健可靠的。Data Petri Net can combine work flow net with case data and decision making to realize the interaction between control flow perspective and data perspective.Data Petri Net also has a solid formal foundation and clear execution semantics.However,most process modeling only considers the control-flow,not the data-flow.Therefore,based on data Petri Net,this paper designs and models the automobile insurance claim process of insurance companies in the event of traffic accidents.ProM tool is used to to convert the established data Petri Net model into colored Petri Net with bounded color fields,and its soundness is analyzed.The final experimental results show that the data Petri Net model is soundness in both control flow and data perception.

关 键 词：数据Petri网 颜色PETRI网 数据感知稳健性 保险公司理赔 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]