iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: http://ceur-ws.org/Vol-3424/

CEUR-WS.org/Vol-3424 - Algorithms & Theories for the Analysis of Event Data and Petri Nets for Twin Transition 2023

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|