Abstract:Dynamic changes in processes necessitate the notion of state equivalence between the old and new workflows. In several cases, the history of the workflow to be migrated provides sufficient context for a meaningful migration. In this paper, we present an algorithm to find the equivalence mapping for states from the old workflow to the new one using a trail-based consistency model called history equivalence. The algorithm finds history equivalent mappings for all migratable states in the reachability graph of the process under migration. It also reports all non-migratable states that fall in the change region for a given pair of old and new Petri Nets. The paper presents the algorithm, its working, and an intuitive proof. The working is demonstrated through a couple of illustrations.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is how to find the state - equivalent mapping between the old workflow and the new workflow during the dynamic migration process. Specifically, when a business process migrates from an old workflow to a new one, in order to minimize the disruption caused by the migration, it is necessary to ensure that the state of the business process remains consistent or equivalent before and after the migration. ### Problem Background In business processes, the process structure may change with the change of business requirements. This change requires us to be able to find the appropriate equivalent states between the old and new workflows. Especially in the Petri net model, how to ensure the state consistency before and after the migration is an important research topic. ### Specific Problem The paper proposes an algorithm based on history equivalence to find the equivalent state mapping between the old and new workflows during the dynamic migration process. History equivalence is determined by comparing the past transition sequences experienced by the states in the two workflows to determine whether they are equivalent. Specifically, the algorithm solves the following problems: 1. **Constructing Reachability Graphs**: Construct reachability graphs for the old and new workflows respectively, where each node represents a reachable marking and each edge represents the transition between two reachable markings. 2. **Calculating Trace Transition Sets (TTSs)**: For each node in the reachability graph, calculate all possible Trace Transition Sets (TTSs), which represent all possible paths to reach that node. 3. **Finding Equivalent Mappings**: For each node in the old workflow, find the node in the new workflow with the same TTSs and take it as the equivalent mapping. If a node does not find the corresponding equivalent node, then this node is in the "change region", that is, the state that cannot be directly migrated. ### Key Steps of the Algorithm 1. **Constructing Reachability Graphs**: Use the Petri net model to construct the reachability graphs of the old and new workflows. 2. **Calculating TTSs**: For each node, find all possible simple paths (paths without loops), and then find all paths with loops through depth - first search (DFS), and finally get all possible TTSs. 3. **Matching TTSs**: For each node in the old workflow, find the node in the new workflow with the same TTSs and record the equivalent mapping relationship. ### Main Contributions of the Paper - Proposes an algorithm based on history equivalence to find the equivalent state mapping between the old and new workflows during the dynamic migration process. - Effectively deals with workflows containing loops through the concept of Trace Transition Sets (TTSs), ensuring state consistency during the migration process. - Provides an intuitive proof to verify the correctness of the algorithm and shows the practical application of the algorithm through examples. ### Conclusion The algorithm proposed in this paper provides an effective method for state - equivalent mapping in the dynamic migration process, especially suitable for business processes that do not need to strictly follow the task execution order. Future research can further extend this algorithm and consider other trajectory - based consistency models, such as trace equivalence and purged history equivalence.

A History Equivalence Algorithm for Dynamic Process Migration