| Vol-3424 urn:nbn:de:0074-3424-0 Copyright © 2023 for the individual papers by the papers' authors. Copyright © 2023 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 & PN4TT 2023
Joint Proceedings of Algorithms & Theories for the Analysis of Event Data 2023 and the International Workshop on Petri Nets for Twin Transition 2023

### Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition
co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023)

### Caparica, Portugal, June 25-30, 2023.

Edited by

### Luis Gomes *
Paulo Leitão **
Robert Lorenz ***
Jan Martijn van der Werf ****
Sebastiaan J. van Zelst *****

* NOVA University Lisbon, Lisbon, Portugal
** Instituto Politécnico de Bragança, Bragança, Portugal
*** University of Augsburg, Augsburg, Germany
**** Utrecht University, Utrecht, the Netherlands
***** Celonis Labs GmbH, Munich, Germany

## Table of Contents

- Frontmatter
  Summary: These proceedings cover ATAED'23 and PN4TT'23. In total, there were 13 full papers submitted for peer-review to both workshops. Out of these, 8 papers were accepted as regular papers for this volume (4 papers for ATAED'23 and 4 papers for PN4TT'23). For PN4TT'23, additionally, 1 poster was submitted and accepted (included as an abstract paper in the proceedings).

### ATAED - Session1: Invited Talk

- DisCoveR: Process Mining for Knowledge-Intensive Processes with DCR Graphs
  Tijs Slaats

### ATAED - Session 2: Concurrency

- Inferring Activity Concurrency Relations from Incomplete Event Logs
  César Barrón-Rubio, Ernesto Lopez-Mellado
- Synthesising Elementary Net Systems with Interval Order Semantics
  Marta Pietkiewicz-Koutny, Maciej Koutny

### ATAED - Session 3: Discovery

- Improving the eST-Miner Models by Replacing Imprecise Structures Using Place Projection
  Christian Rennert, Lisa Mannel, Wil M.P. van der Aalst
- Revisiting the Alpha Algorithm To Enable Real-Life Process Discovery Applications
  Aaron Küsters, Wil M.P. van der Aalst

### PN4TT - Session 1: Invited talk

- Twin Transitions Powered By Event Data - Using Object-Centric Process Mining To Make Processes Digital and Sustainable
  Wil M.P. van der Aalst

### PN4TT - Session 2: Papers

- Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets
  Yike Li, Yin Tong, Marco Demuro, Alessandro Giua
- A Syntax-Independent Code Generation Tool for IOPT-Petri Nets
  Fernando Pereira, Filipe Moutinho, Luis Gomes
- Towards an Agile Distributed Management System Based on Petri Nets
  Jose Jean Paul Zanlucchi de Souza Tavares, Jose Reinaldo Silva
- Slicing Petri Nets to Reduce Their Complexity - Abstract
  Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva

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