结构化工作流Petri网模型中动态迁移的结构化方法
人工智能
2020-04-22 v1 计算机科学中的逻辑
摘要
在工作流过程动态演化的背景下，变更区域标识出旧过程中保证向新过程迁移不一致的部分。然而，该方法可能导致被高估的区域，错误地将可迁移实例识别为不可迁移。这种高估会因推迟即时迁移而造成延迟。本文在一类Petri网模型上分析这一高估问题。我们发展了导致极小变更区域与高估情况的结构性质，从而将变更区域分类为两类变更区域，称为结构变更区域与完美结构变更区域。给出了完美区域的充分必要条件。本文还讨论了依据旧过程与新过程的结构性质计算这些区域的方法。
引用
@article{arxiv.2004.03592,
title = {A Structural Approach to Dynamic Migration in Petri Net Models of Structured Workflows},
author = {Ahana Pradhan and Rushikesh K. Joshi},
journal= {arXiv preprint arXiv:2004.03592},
year = {2020}
}