CEUR-WS.org/Vol-2115 - Workshop on Algorithms & Theories for the Analysis of Event Data (ATAED 2018)

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

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

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

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

Bratislava, Slovakia, June 25, 2018.

Wil van der Aalst *
Robin Bergenthum
Josep Carmona *

Table of Contents

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

Bratislava, Slovakia, June 25, 2018.

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

Table of Contents

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

Wil van der Aalst *
Robin Bergenthum
Josep Carmona *