Sciweavers

110
Voted
APN
2015
Springer
9 years 11 months ago
Introducing the Quick Fix for the Petri Net Modeling Tool Renew
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...
Jan Hicken, Lawrence Cabac, Michael Haustermann
APN
2015
Springer
9 years 11 months ago
Negotiations and Petri Nets
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...
Jörg Desel, Javier Esparza
APN
2015
Springer
9 years 11 months ago
Non-Interference Notions Based on Reveals and Excludes Relations for Petri Nets
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...
Luca Bernardinello, Görkem Kilinç, Luc...
101
Voted
APN
2015
Springer
9 years 11 months ago
A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms
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...
Joel Ribeiro, Josep Carmona
90
Voted
APN
2015
Springer
9 years 11 months ago
Knowledge Driven Behavioural Analysis in Process Intelligence
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...
Antonia Azzini, Paolo Ceravolo, Ernesto Damiani, F...