Sciweavers

APN
2015
Springer
8 years 5 days ago
De-Materializing Local Public Administration Processes
We describe a framework for the de-materialization of local public administration processes that provides remote assistance by human operators when needed. Our framework is in an a...
Giancarlo Ballauco, Paolo Ceravolo, Ernesto Damian...
APN
2015
Springer
8 years 5 days ago
Process Discovery Using Localized Events
Process mining techniques aim to analyze and improve conformance and performance of processes using event data. Process discovery is the most prominent process-mining task: A proce...
Wil M. P. van der Aalst, Anna Kalenkova, Vladimir ...
APN
2015
Springer
8 years 5 days ago
Reengineering the Editor of the GreatSPN Framework
Abstract. This paper describes the technical challenges around the modernization process of the GreatSPN framework[15], one of the first Petri net frameworks started in the eighti...
Elvio Gilberto Amparore
APN
2015
Springer
8 years 5 days ago
An Optimal Process Model for a Real Time Process
Abstract. Recommending an optimal path of execution and a complete process model for a real time partial trace of large and complex organization is a challenge. The proposed AlfyMi...
Likewin Thomas, Manoj Kumar M. V., Annappa Basava,...
APN
2015
Springer
8 years 5 days ago
Dependent shrink for Petri net models of signaling pathways
Abstract. Retention-free Petri net has been used in modeling of signaling pathways, which is a timed Petri net such that total input and total output token flows are equivalent at...
Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno
APN
2015
Springer
8 years 5 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 5 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 5 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 5 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 5 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