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

2 0 1 7 年 第 1 期 牡 丹 江 师 范 学 院 学 报 （自 然 科 学 版 ） No . 1 ,2016 ( 总 第 9 8 期 ） Journal of Mudanjiang Normal University Total No 98 文章 编 号 ：1003-6180(2017)01-0005-04 基于 Petri网的保险工作流系统建模及验证 何 路 路 ，方 欢 (安徽理工大学数学与大数据学院，安 徽 淮 南 232001) 摘 要 ：提 出 基 于 P a r i 网 的 工 作 流 系 统 业 务 模 型 .该 模 型 将 P a r i 网 的 理 论 和 性 质 应 用 于 业 务 工 作 流 系 统 当 中 ，从 系 统 的 运 行 过 程 和 形 式 化 的 图 形 描 述 方 式 两 方 面 实 现 对 工 作 流 系 统 的 快 速 建 模 和 分 析 . 通 过 工 作 流 P a r i 网 的 语 义 性 质 ，对 所 建 立 的 中 国 人 民 保 险 公 司 的 索 赔 业 务 工 作 流 系 统 模 型 的 正 确 性 进 行 验 证 和 分 析 ，表 明 此 模 型有较好的应用效果. 关 键 词 ：工 作 流 ；P a r i 网 ；保 险 ；建模 [中 图 分 类 号 ]T P 301 [ 文献 标 志 码 ] A Accuracy Analysis and Validation of Insurance W orkflow System Based on Petri Net HE Lu-lu，FANG Huan (Anhui University O f Science And Technology ? Huainan232000 ?China ) Abstract ：The paper proposes a business model of workflow system based on Petri net. The model applies the theory and properties of Petri nets to the business workflow system. The modeling and analysis of the workflow system are realized from both the running process of the system and the formal graphic description way. Through the semantic na­ ture of the workflow Petri net? the correctness of the workflow system model of the claim business of the Peopled Insurance Company of China is verified and analyzed? which shows that the model has a good application effect. Key words ：Workflow; Petri net; Insurance; Modeling ；Analysis 工作流系统就是利用计算机的形式来表达业 观便于理解，但是在定义时是一种“静态”的 ，因此 务过程，以达