Algorithm of judgment compatibility of workflow on Petri net model structural change

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.