Algorithms & Theories for the Analysis of Event Data 2019

@ PN 2019 & ACSD 2019 & ICPM 2019, June 25, Aachen, Germany

The workshop Algorithms & Theories for the Analysis of Event Data (ATAED 2019) is a satellite event of the 40th International Conference on Application and Theory of Petri Nets and Concurrency (PN 2019) and the 19th International Conference on Application of Concurrency to System Design (ACSD 2019). This year, the workshop is co-located with the 1st International Conference on Process Mining (ICPM 2019). The workshop aims to attract papers related to process mining, region theory and other synthesis techniques. These techniques have in common that "lower level" behavioral descriptions (event logs, sets of partial orders, transition systems, etc.) are used to create "higher level" process models (e.g., various classes of Petri nets, BPMN, or UML activity diagrams).
ATAED 2019 solicits papers related to process mining and region theory. However, the scope is not limited to this. The program committee invites submission of full papers (up to 15 pages) and of short papers (up to 5 pages). Papers should be submitted as pdf-files using the Springer LNCS-format. Papers need to be submitted via Easychair.

Process mining makes it possible to analyze event data, thereby focusing on behavior rather than correlations and simplistic performance indicators. For example, event logs can be used to automatically learn end-to-end process models based on recorded event data. Next to the automated discovery of the real underlying process, there are process mining techniques to analyze bottlenecks, to uncover hidden inefficiencies, to check compliance, to explain deviations, to predict performance, and to guide users towards "better" processes.
Region theory makes it possible to synthesize a process model from a behavioral description. Applying the theory of regions guarantees the behavioral description and the language of the synthesized model to be equivalent. In recent years, various forms of region-based ideas (language-based and state-based variants) have been applied in the context of process mining. Here, there is only example behavior and classical techniques need to be improved. Hence, there are many theoretical challenges with a high practical relevance.


( Register for ATAED | Proceedings at CEUR-2371 )

Generic placeholder image Keynote by Wolfgang Reisig: How to analyze BIG systems? Process mining and region theory study transition systems. For BIG systems, composed of many loosely coupled components, corresponding transition systems become unmanageably large, and compositional techniques are mandatory. I suggest a "universal" composition operator, and ask for corresponding compositional analysis techniques.

Tuesday, June 25
09.00 - 10.00      Wolfgang Reisig. (Keynote) How to analyze BIG systems?
10.00 - 10.30 Raymond Devillers, Evgeny Erofeev, Thomas Hujsa. Synthesis of Weighted Marked Graphs from Circular Labelled Transition Systems.
11.00 - 11.30 Jörg Desel. Can a Single Transition Stop an Entire Net?
11.30 - 12.00 Adrian Puerto Aubel, Carlo Ferigato, Federica Adobbati, Stefano Gandelli. Two Operations for Stable Structures of Elementary Regions.
12.00 - 12.30 Nassim Laga, Marwa Elleuch, Walid Gaaloul, Oumaima Alaoui Ismaili. Emails Analysis for Business Process Discovery.
13.30 - 14.00 Ronny Tredup, Christian Rosenke. On the Hardness of Synthesizing Boolean Nets.
14.00 - 14.30 Alessandro Berti, Wil van der Aalst. Reviving Token-based Replay: Increasing Speed While Improving Diagnostics.

Program Committee

Wil van der Aalst, RWTH Aachen, Germany (co-chair)
Abel Armas Cervantes, QUT, Australia
Eric Badouel, INRIA Rennes, France
Robin Bergenthum, FernUni Hagen, Germany (co-chair)
Luca Bernardinello, Università degli studi di Milano-Bicocca, Italy
Andrea Burattin, University of Innsbruck, Austria
Josep Carmona, UPC Barcelona, Spain (co-chair)
Paolo Ceravolo, University of Milan, Italy
Claudio Di Ciccio, Vienna University of Economics and Business, Austria
Benoît Depaire, Hasselt University, Belgium
Jörg Desel, FernUni Hagen, Germany
Dirk Fahland, TU Eindhoven, The Netherlands
Chiara Di Francescomarino, FBK-IRST, Italy

Stefan Haar, LSV CNRS & ENS de Cachan, France
Gabriel Juhás, Slovak University of Technology, Slovak Republic
Anna Kalenkova, Higher School of Economics NRU, Russia
Jetty Kleijn, Leiden University, The Netherlands
Wen Lijie, Tsinghua University, China
Robert Lorenz, Uni Augsburg, Germany
Manuel Mucientes, University of Santiago de Compostela, Spain
Marta Pietkiewicz-Koutny, Newcastle University, GB
Uli Schlachter, Uni Oldenburg, Germany
Arik Senderovich, Technion, Israel
Jochen De Weerdt, KU Leuven, Belgium
Moe Wynn, Queensland University of Technology, Australia
Alex Yakovlev, Newcastle University, GB


Algorithms and Theories for the Analysis of Event Data 2018, Bratislava, Slovakia
Algorithms and Theories for the Analysis of Event Data 2017, Zaragoza, Spain
Algorithms and Theories for the Analysis of Event Data 2016, Toruń, Poland
Algorithms and Theories for the Analysis of Event Data 2015, Brussels, Belgium
Applications of Region Theory 2013, Barcelona, Spain
Applications of Region Theory 2011, Newcastle upon Tyne, UK
Applications of Region Theory 2010, Braga, Portugal