APN
2015
Springer
8 years 7 months ago
2015
Springer
Abstract. This paper presents an approach to the development of modeling languages and automated generation of specific modeling tools based on meta-models. Modeling is one of the...
APN
2015
Springer
8 years 7 months ago
2015
Springer
In this paper we consider Interval-Timed Petri nets (ITPN), an extension of Timed Petri nets in which the discrete time delays of transitions are allowed to vary within fixed inte...
APN
2015
Springer
8 years 7 months ago
2015
Springer
The problem of workflow instance migration occurs during dynamic evolutionary changes in processes. The paper presents a catalogbased algorithm called the Yo-Yo Algorithm for cons...
APN
2015
Springer
8 years 7 months ago
2015
Springer
ed Abstract Many modern integrated development environments (IDEs) such as Eclipse [2] support developers by providing a quick fix feature. If the application detects syntax error...
APN
2015
Springer
8 years 7 months ago
2015
Springer
Negotiations have recently been introduced as a model of concurrency with multi-party negotiation atoms as primitive. This paper studies the relation between negotiations and Petri...
APN
2015
Springer
8 years 7 months ago
2015
Springer
In distributed systems, it is often important that a user is not able to infer if a given action has been performed by another component, while still being able to interact with th...
APN
2015
Springer
8 years 7 months ago
2015
Springer
Given an event log L, a control-flow discovery algorithm f, and a quality metric m, this paper faces the following problem: what are the parameters in f that mostly influence its...
APN
2015
Springer
8 years 7 months ago
2015
Springer
Abstract. In this paper we illustrate how the knowledge driven Behaviour Analysis, which has been used in the KITE.it process management framework, can support the evolution of ana...
APN
2015
Springer
8 years 7 months ago
2015
Springer
Abstract. This paper presents an environment to automatically generate coordination rules from coloured Petri nets models.
APN
2015
Springer
8 years 7 months ago
2015
Springer