判断工作流Petri网模型结构变化兼容性的算法

摘要

动态适应性已成为在工作流管理系统领域的主要研究课题之一.当工作流的结构发生变化时,面临着如何保证新旧工作流之间的兼容性的问题.利用Petri网作为分析工具来研究工作流的结构变化,提出了一种生成变化区域的算法.经过分析,可以证明该变化区域是最小的,并证明了通过分析最小变化区域的特性可以解决整个工作流Petri网模型结构变化兼容性问题.%Dynamic adaptability has become one of the major research topics in the area of workflow management system.The change of the workflow structure will arise the problem of compatibility between the old and new workflows.This paper researches the structural change of the workflow based on Petri net,and proposes a new algorithm of generating the variable areas.It can be proved that the variable areas are minimal. Furthermore,it can be used to solve the problems of the compatibility of workflow structural changes based on Petri net through analyzing the characters of minimal variable areas.