论文标题
在结构化工作流的培养皿网模型中，动态迁移的结构方法
A Structural Approach to Dynamic Migration in Petri Net Models of Structured Workflows
论文作者
论文摘要
在工作流程过程的动态演变的背景下，变化区域确定了旧过程的一部分，从而确保从中迁移到新过程是不一致的。但是，这种方法可能导致高估的区域，错误地识别出可移民的情况是不可迁移的。由于立即移民的推迟，这种高估会导致延迟。本文分析了一类Petri Nets模型上的高估问题。导致最小变化区域和高估条件的结构特性被开发出来，导致变更区域分为两种类型的变化区域，称为结构变化区域和完美的结构变化区域。确定了完美区域的必要条件。本文还讨论了如何在旧过程和新过程的结构属性方面计算相同的方法。
In the context of dynamic evolution of workflow processes, the change region identifies the part of the old process from which migration to the new process is guaranteed to be inconsistent. However, this approach may lead to overestimated regions, incorrectly identifying migratable instances as non-migratable. This overestimation causes delays due to postponement of immediate migration. The paper analyzes this overestimation problem on a class of Petri nets models. Structural properties leading to conditions for minimal change regions and overestimations are developed resulting into classification of change regions into two types of change regions called Structural Change Regions and Perfect Structural Change Regions. Necessary and sufficient conditions for perfect regions are identified. The paper also discusses ways for computing the same in terms of structural properties of the old and the new processes.
