基于Petri网和抽象方法的工作流模型分解

摘要

Petri网是描述工作流的理想建模工具,本文介绍了一种基于抽象方法的工作流模型的分解过程,将工作流网分解为两个满足二元模拟关系的子网,其结果得到工作流模型,并举例说明了基于抽象的工作流模型分解可以减少原始模型Kripke结构的状态数目,为工作流的模型验证提供了一种有效的方法。