|
|
Vol-2371
urn:nbn:de:0074-2371-0
Copyright ©
2019 for the individual papers
by the papers' authors. Copying permitted for private and academic purposes.
This volume is published and copyrighted by its editors.
|
ATAED 2019
Algorithms & Theories for the Analysis of Event Data 2019
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019
Satellite event of the conferences:
40th International Conference on Application and Theory of Petri Nets and Concurrency
Petri Nets 2019 and
19th International Conference on Application of Concurrency to System Design
ACSD 2019
Aachen, Germany, June 25, 2019.
Edited by
* RWTH Aachen University, Lehrstuhl für Informatik 9 / Process and Data Science, Ahornstr. 55, 52074 Aachen, Germany
** FernUniversität in Hagen, Fakultät für Mathematik und Informatik, Universitätsstr. 1, 58097 Hagen, Germany
*** Universitat Politecnica de Catalunya, Department of Computer Science, C. Jordi Girona 1-3, 08034 Barcelona, Spain
Table of Contents
-
Synthesis of Weighted Marked Graphs from Circular Labelled Transition Systems
6-22
Raymond Devillers,
Evgeny Erofeev,
Thomas Hujsa
-
Can a Single Transition Stop an Entire Net?
23-35
Jörg Desel
-
Two Operations for Stable Structures of Elementary Regions
36-53
Federica Adobbati,
Carlo Ferigato,
Stefano Gandelli,
Adrián Puerto Aubel
-
Emails Analysis for Business Process Discovery
54-70
Nassim Laga,
Marwa Elleuch,
Walid Gaaloul,
Oumaima Alaoui Ismaili
-
On the Hardness of Synthesizing Boolean Nets
71-86
Ronny Tredup,
Christian Rosenke
-
Reviving Token-based Replay: Increasing Speed While Improving Diagnostics
87-103
Alessandro Berti,
Wil van der Aalst
2019-06-06: submitted by Robin Bergenthum
2019-06-07: published on CEUR-WS.org
|valid HTML5|