一种新的基于Petri网的分层工作流过程模型

过程模型的描述能力和分析能力难以满足企业的要求，为此，提出了一种新的基于Petri网的分层工作流过程模型。在深入研究各种工作流模型的基础上，通过对基本网进行一定的扩展，给出工作流过程的分层模型。该模型由工作流描述模型和工作流分析模型组成。工作流描述模型直接支持所有工作流模式，特别是多实例、取消、高级同步等高级Petri网无法直接描述的模式。工作流描述模型在Petri网的基础上增加了控制变量，并将变迁划分为变迁入口和变迁体两部分。控制变量与变迁之间构成读写关系。变迁入口函数通过判断控制变量，消解工作流描述模型中的冲突；变迁体函数通过可扩展逻辑描述语句，实现对控制变量的读写操作。工作流分析模型作为工作流描述模型的分析模型，剥离了工作流描述模型个案的语义信息，可以直接利用已有的Petri网分析技术来分析模型。最后，通过几个例子说明了如何使用本文提出的模型对各种复杂流程进行建模和分析。