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
APN
2015
Springer
8 years 7 months ago
2015
Springer
: Mastering the development of software having the required quality level is a complex task. Since 1968, the software engineering discipline has grown in order to offer theories, ...
APN
2015
Springer
8 years 7 months ago
2015
Springer
Abstract. Concept drift is the condition when the process changes during the course of execution. Current methods and analysis techniques existing in process mining are not profic...
APN
2015
Springer
8 years 7 months ago
2015
Springer
Currently, there is a trend to promote personalized health care in order to prevent diseases or to have a healthier life. Using current devices such as smart-phones and smart-watch...
APN
2015
Springer
8 years 7 months ago
2015
Springer
Abstract. We present a model for the dynamics of discrete deterministic systems, based on an extension of the Petri net framework. Our model relies on the definition of a priority...
APN
2015
Springer
8 years 7 months ago
2015
Springer
Process mining techniques rely on event logs: the extraction of a process model (discovery) takes an event log as the input, the adequacy of a process model (conformance) is checke...