| Vol-2625 urn:nbn:de:0074-2625-7 Copyright © 2020 for the individual papers by the papers' authors. Copyright © 2020 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# ATAED 2020
Algorithms & Theories for the Analysis of Event Data 2020

### Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2020
Satellite event of the 41st International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2020

### virtual workshop, June 24, 2020.

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

- Preface

- Defining meaningful Local Process Models 6-19
  Mitchel Brunings, Dirk Fahland, Boudewijn van Dongen
- Removing Implicit Places Using Regions for Process Discovery 20-32
  Lisa Mannel, Robin Bergenthum, Wil van der Aalst
- Detecting Infrequent Behavior in Event Logs using Statistical Inference 33-48
  Lisa Petrak, Robert Lorenz
- On Discovering Distributed Process Models the case of asynchronous communication 49-65
  Pieter Kwantes, Jetty Kleijn
- On the Complexity of Synthesis of nop-Free Boolean Petri Nets 66-84
  Ronny Tredup, Evgeny Erofeev

2020-06-16: submitted by Robin Bergenthum, metadata incl. bibliographic data published under Creative Commons CC0
2020-06-19: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|