牡丹江师范学院学报（自然科学版）Issue(1)：5-8,4.
基于Petri网的保险工作流系统建模及验证
Accuracy Analysis and Validation of Insurance Workflow System Based on Petri Net
摘要
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 People's Insurance Company of China is verified and analyzed,which shows that the model has a good application effect.关键词
工作流/Petri网/保险/建模Key words
Workflow/Petri net/Insurance/Modeling/Analysis分类
信息技术与安全科学引用本文复制引用
何路路,方欢..基于Petri网的保险工作流系统建模及验证[J].牡丹江师范学院学报（自然科学版）,2017,(1):5-8,4.基金项目
国家自然科学基金项目(61472003 （）
61272153 （）
61340003 （）
61402011 （）
61572035) （）
安徽省教育厅高等学校自然科学研究重点项目(KJ2014A067 （）
KJ2016A208) （）
安徽省自然科学基金项目(1608085QF149) （1608085QF149）
