A Structural Approach to Dynamic Migration in Petri Net Models of Structured Workflows

04/07/2020
by   Ahana Pradhan, et al.
0

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.

READ FULL TEXT
research
09/24/2019

Structural Change Analysis of Active Cryptocurrency Market

Structural Change Analysis of Active Cryptocurrency Market...
research
06/06/2022

Verifying generalised and structural soundness of workflow nets via relaxations

Workflow nets are a well-established mathematical formalism for the anal...
research
01/12/2013

Dynamic Transparent General Purpose Process Migration For Linux

Process migration refers to the act of transferring a process in the mid...
research
06/11/2019

Microservices Migration in Industry: Intentions, Strategies, and Challenges

To remain competitive in a fast changing environment, many companies sta...
research
02/20/2020

E2E Migration Strategies Towards 5G: Long-term Migration Plan and Evolution Roadmap

After freezing the first phase of the fifth generation of wireless netwo...
research
11/11/2022

Modelling of Neuroblast Chemotaxis Migration towards the Olfactory Bulb

This article is devoted to the mathematical modeling of migration of neu...
research
08/31/2005

Component Based Programming in Scientific Computing: The Viable Approach

Computational scientists are facing a new era where the old ways of deve...

Please sign up or login with your details

Forgot password? Click here to reset