Petri网的建模与分析

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

关键词：Petri网;业务过程;工作流;过程管理;可达状态

0   引言

Petri网一种是离散事件系统建模的通用分析工具，在系统建模领域有着广泛的应用[1]，且具有严格的形式化定义、丰富的表达能力和直观的图像化描述等特点[2]。Petri网适用于描述异步并发系统的网状模型，既能描述系统的结构，又可以模拟系统的运行状态。它没有任何形式的全局控制，是一个异步系统，即按照事件间的依赖关系建立业务过程模型。随着业务过程管理水平的不断提高，业务过程的复杂化程度也不断增加，一般的业务流程建模不具备异步并发的特点，而Petri网作为一种建模工具，不仅可以较好地描述业务过程的动态性特征，而且可以模拟过程模型的运行状态。

Petri网的基本组成元素包括库所、变迁、托肯以及流关系等，在Petri网的图形化描述中，库所、变迁和托肯分别使用圆圈、矩形块和小黑点表示，使用有向弧连接库所和变迁，从而共同构成一个基本的Petri网模型。……