基于Petri网的保险索赔工作流模型

摘要

Pctri网是一种有效的形式化建模工具，能自然地描述并发、冲突、同步等系统特性。本文给出基于Petri网的建模工作流模型，将Petri网三要素以对象的形式描述出来，并对此工作流模型的正确性定义和验证进行说明。