摘要
Petri网具有一种系统的数学建模能力,广泛地应用于具有同步、并发、冲突的离散事件系统的建模,可以用来描述较为复杂的业务过程。随着业务过程管理的复杂程度不断增加,使得业务过程建模的难度也逐渐提高,是当前业务过程建模中需要解决的主要问题。首先,文章介绍了Petri网的基本概念及其形式化描述,其次描述了在业务过程建模中常用的4种工作流模型的基本结构并结合Petri网构成了工作流Petri网的基本模型,以此完成对业务过程的建模。最后,运用Petri网对索赔处理过程进行建模,并对其可达状态进行分析,进而提高业务过程管理质量。
- 单位