| Vol-2115 urn:nbn:de:0074-2115-7 Copyright © 2018 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 2018
Algorithms & Theories for the Analysis of Event Data 2018

### Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018
Satellite event of the conferences:
39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and
18th International Conference on Application of Concurrency to System Design ACSD 2018

### Bratislava, Slovakia, June 25, 2018.

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

- On the Synthesis of Industry Level Process Models from Enterprise Level Process Models 6-22
  Pieter Kwantes, Jetty Kleijn
- Compositional Discovery of Workflow Nets from Event Logs Using Morphisms 23-38
  Luca Bernardinello, Irina Lomazova, Roman Nesterov, Lucia Pomello
- On the Decomposition of Regional Events in Elementary Systems 39-55
  Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel
- Relating Process Models and Event Logs - 21 Conformance Propositions 56-74
  Wil M.P. van der Aalst
- Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems 75-90
  Raymond Devillers, Evgeny Erofeev, Thomas Hujsa
- Reversing Computations Modelled by Coloured Petri Nets 91-111
  Kamila Barylska, Anna Gogolińska, Łukasz Mikulski, Anna Philippou, Marcin Piątkowski, Kyriaki Psara
- Concurrency Oracles for Free 112-127
  Georgy Lukyanov, Andrey Mokhov

- Download the proceedings in a zip file

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