CEUR-WS.org/Vol-2371 - Workshop on Algorithms & Theories for the Analysis of Event Data 2019

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

Frontmatter

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|

ATAED 2019
Algorithms & Theories for the Analysis of Event Data 2019

Aachen, Germany, June 25, 2019.

Wil van der Aalst *
Robin Bergenthum
Josep Carmona *

Table of Contents

ATAED 2019 Algorithms & Theories for the Analysis of Event Data 2019

Aachen, Germany, June 25, 2019.

Wil van der Aalst * Robin Bergenthum ** Josep Carmona ***

Table of Contents

ATAED 2019
Algorithms & Theories for the Analysis of Event Data 2019

Wil van der Aalst *
Robin Bergenthum
Josep Carmona *