基于Petri网的保险工作流系统建模及验证

• 作者: 何路路 方欢
• 来源期刊: 牡丹江师范学院学报（自然科学版）
• 学科: 工学
• 关键词: 工作流 Petri网 保险 建模
• 年，卷（期）: 2017,（1）
• 所属期刊栏目: 数学与系统科学
• 页码范围: 5-8
• 页数: 4页
• 分类号: TP301
• 字数: 3016字
• 语种: 中文

摘要

提出基于Petri网的工作流系统业务模型。该模型将Petri网的理论和性质应用于业务工作流系统当中，从系统的运行过程和形式化的图形描述方式两方面实现对工作流系统的快速建模和分析。通过工作流Petri网的语义性质，对所建立的中国人民保险公司的索赔业务工作流系统模型的正确性进行验证和分析，表明此模型有较好的应用效果。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	方欢	安徽理工大学数学与大数据学院	107	228	9.0	11.0
2	何路路	安徽理工大学数学与大数据学院	4	9	2.0	2.0