位置:成果数据库 > 期刊 > 期刊详情页
基于Petri网的保险工作流系统建模及验证
  • 时间:0
  • 分类:TP301[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构:安徽理工大学数学与大数据学院,安徽淮南232001
  • 相关基金:国家自然科学基金项目(61172003;61272153;61310003;61102011;61572035);安徽省教育厅高等学校自然科学研究重点项目(KJ2011A067;KJ2016A208);安徽省自然科学基金项目(1608085QF119)
作者: 何路路, 方欢
中文摘要:

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

英文摘要:

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.

同期刊论文项目
同项目期刊论文