| Vol-3167 urn:nbn:de:0074-3167-5 Copyright © 2022 for the individual papers by the papers' authors. Copyright © 2022 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 2022
Algorithms & Theories for the Analysis of Event Data 2022

### Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data
co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022)

### Bergen, Norway, June 19-24, 2022.

Edited by

### Robert Lorenz *
Jan Martijn van der Werf **
Sebastiaan J. van Zelst ***

* University of Augsburg, Department of Computer Science, Augsburg, Germany
** Utrecht University, Department of Information and Computer Science, Utrecht, the Netherlands
*** Fraunhofer Institute for Applied Information Technology, Department of Data Science and Artificial Intelligence, Sankt Augustin, Germany

## Table of Contents

- Frontmatter
  Summary: There were 10 papers submitted for peer-review to this workshop. Out of these, 6 papers were accepted as regular papers for this volume.

### Session 1: Invited Talk

- Leveraging Frequencies in Event Data a Pledge for Stochastic Process Mining 1-8
  Sander J.J. Leemans

### Session 2: Stochastics & Statistics

- Enhancing Stochastic Petri Net-based Remaining Time Prediction using k-Nearest Neighbors 9-24
  Jarne Vandenabeele, Gilles Vermaut, Jari Peeperkorn, Jochen De Weerdt
- Taking on Infrequent Behavior in Event Logs using Hypothesis Tests 25-42
  Patrizia Schalk, Lisa Petrak

### Session 3: Region Theory

- Minimising the Synthesised ENL-Systems 43-59
  Aishah Ahmed, Marta Pietkiewicz-Koutny
- A First Glimpse at Petri Net Regions 60-68
  Robin Bergenthum, Jakub Kovář

### Session 4: Strategies for Behavioral Analysis

- Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets 69-75
  Federica Adobbati, Luca Bernardinello, Lucia Pomello, Riccardo Stramare
- Deadlocks and Livelocks in Resource Constrained Workflow Nets 76-100
  Gabriel Juhás, Ana Juhásova, Tomáš Kováčik

2022-06-29: submitted by Sebastiaan J. van Zelst, metadata incl. bibliographic data published under Creative Commons CC0
2022-07-13: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|