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.

翻译：过程的动态变化要求新旧工作流之间存在状态等价的概念。在多种情况下，待迁移工作流的历史记录为有意义的迁移提供了充分的上下文信息。本文提出一种算法，利用一种基于轨迹的一致性模型——历史等价性，寻找从旧工作流到新工作流的状态等价映射。该算法可为迁移过程中可达图内的所有可迁移状态找到历史等价映射，并报告给定新旧Petri网对中位于变更区域内的所有不可迁移状态。本文阐述了该算法的原理、运行机制及一个直观证明，并通过若干示例演示其运行过程。