提出基于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.