| 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

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

* 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

- 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

- Download the proceedings in a zip file

2019-06-06: submitted by Robin Bergenthum
2019-06-07: published on CEUR-WS.org |valid HTML5|