刘 川，陈金玉

(重庆大学自动化学院，重庆 400044)

工作流技术［1］是随着生产和办公自动化等领域对计算机技术的引入而逐渐提出和发展的。在工作流应用系统［2］的开发过程中，一般需要经过业务流程的分析和建模、流程定义、流程发布、投入运行等过程。但如果等到投入实际运行后才发现流程模型不合理，则可能导致不可挽回的巨大损失。

一般工作流应用开发系统都提供了建模工具，但一些系统却缺少建模后对模型结构进行合理性验证的工具，比如较出名的开源工作流系统jBPM4［3］系列及以前的版本，在没有验证工具的情况下需要设计人员来把握业务流程的合理性。显然随着模型的日益复杂，对模型合理性的正确把握也相应更困难。

本研究在工作流管理系统及业务流程建模技术的基础之上，通过对现有Petri网［4］相关建模及验证技术的分析，对文献［5］提出的工作流网模型的合理性验证算法进行了改进，把对应的Petri网形式的工作流网模型表示为2个矩阵及向量形式，并通过矩阵及向量运算来进行工作流模型的合理性验证。

1 工作流网模型

工作流网是以Petri网为基础的一种网结构。基本的Petri网是一种有向二部图，一般包含4个基本元素:库所(place)、变迁(transition)、有向弧(arc)和表示描述系统动态变化的资源标记(token)。

在图形上用圆形表示库所，用小黑点表示标记，用矩形表示变迁，用有向弧连接库所到变迁或连接变迁到库所。库所与库所以及变迁与变迁是不允许直接连接的。……