Analysis of workflow dynamic changes based on Petri net

  • Authors:

  • Ping Sun;Changjun Jiang

  • Affiliations:

  • Department of Computer Science & Engineering, Tongji University, Shanghai 201804, China and Key Laboratory of "Embedded System and Service Computing", Ministry of Education, Shanghai 201804, China;Department of Computer Science & Engineering, Tongji University, Shanghai 201804, China and Key Laboratory of "Embedded System and Service Computing", Ministry of Education, Shanghai 201804, China

  • Venue:
  • Information and Software Technology
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

Dynamic adaptability has become one of the major research topics in the area of workflow management system. When adjusting a workflow process to some structural changes, there is a potential problem: the new workflow may contain errors, such as deadlock, inconsistency and even loss of instance. This paper primary addresses the issues related to workflow structural changes. It firstly defines a class of structural change called compatible change. This kind of change can be applied to the workflow process, without causing any structural errors or behavioral inconsistencies. Secondly, an algorithm is put forward to calculate the minimal region affected by the changes. Furthermore, it proves that the change regions can be used to check the compatibility of workflow changes. This approach is applicable and efficient in terms of time and space for large-scale and complex systems. Lastly, this paper discusses the problem to decide whether an active workflow instance can be smoothly evolved to the new workflow, and provides a sufficient condition for valid migration. In the end, an example is given to illustrate the effectiveness of the proposed concepts and method.