真并发等价性下的流程模型转换方法

张曼　段振华

摘要：针对工作流建模过程中流程模型的演化问题，在真并发等价性概念下，提出将图形化控制流模型转换为顺序与并发结构可分隔处理的可分离形式的方法，采用自由选择工作流网建模控制流模型，以完全并发互模拟为真并发等价概念，定义两个安全网间是完全并发互模拟关系的充分条件；基于Petri网的网展开，提出获得工作流网的可分离形式的局部网展开算法；通过证明局部展开网与原工作流网满足完全并发互模拟的充分条件，保证两个网模型的等价性，所提转换方法与已有方法相比，能够保留并发层次，且所需步骤更少，有利于流程模型的演化。