Sciweavers

APN
2015
Springer
8 years 8 days ago
Providing Petri Net-Based Semantics in Model Driven-Development for the Renew Meta-Modeling Framework
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...
David Mosteller, Lawrence Cabac, Michael Hausterma...
APN
2015
Springer
8 years 8 days ago
Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation
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...
Elisabeth Pelz, Abderraouf Kabouche, Louchka Popov...
APN
2015
Springer
8 years 8 days ago
Catalog-based Token Transportation in Acyclic Block-Structured WF-nets
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...
Ahana Pradhan, Rushikesh K. Joshi
APN
2015
Springer
8 years 8 days 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
8 years 8 days 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
8 years 8 days 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...
APN
2015
Springer
8 years 8 days 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
APN
2015
Springer
8 years 8 days 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...
APN
2015
Springer
8 years 8 days ago
Coordination Rules Generation from Coloured Petri Net Models
Abstract. This paper presents an environment to automatically generate coordination rules from coloured Petri nets models.
Adja Ndeye Sylla, Maxime Louvel, François P...