Schedule for the main conference track
The main conference track will take place in Room M003.
Wednesday, 22 Jun | Thursday, 23 Jun | Friday, 24 Jun
9:00 – 9:30 Welcome and opening session
9:30 – 10:30 Distinguish Carl Adam Petri Lecture (Chair: Maciej Koutny)
10:30 – 11:00 Coffee Break (Room: M130/131)
11:00 – 12:30 Session 1: Application of Concurrency to System Design (Chair: Jörg Desel)
- Vegard Steinsland, Lars Kristensen and Shujun Zhang: Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems
- Abel Armas Cervantes and Farbod Taymouri: Leveraging Concurrency for Discovering Unseen Behaviour
- Clément Bertrand, Hanna Klaudel and Frederic Peschanski: Layered Memory Automata: recognizers for quasi-regular languages with unbounded memory
12:30 – 14:00 Lunch (Room: M130/131)
14:00 – 15:00 Session 2: Timed models (Chair: Laure Petrucci)
- Loic Helouet and Pranay Agrawal: Waiting Nets
- Xavier Allamigeon, Marin Boyet and Stephane Gaubert: Computing Transience Bounds of Emergency Call Centers: a Hierarchical Timed Petri Net Approach
15:00 – 15:30 Coffee Break (Room: M130/131)
- Nicolas Amat and Louis Chauvet Kong: a Tool to Squash Concurrent Places
- Fernando Pereira, Filipe Moutinho, Anikó Costa, João-Paulo Barros, Rogério Campos-Rebelo and Luis Gomes: IOPT-Tools - From executable models to automatic code generation for embedded controllers development
- Jan Niklas Adams and Wil van der Aalst: OCπ: Object-Centric Process Insights
20:00 - Conference dinner (Veneu: Grand Bergen)
9:00 – 10:00 Invited talk (Chair: Jetty Kleijn)
10:00 – 10:30 Coffee Break (Room: M130/131)
10:30 – 12:00 Session 4: Applications (Chair: Karsten Wolf)
- Rafal Graczyk, Waldemar Bujwan, Marcin Darmetko, Marcin Dziezyc, Damien Galano, Konrad Grochowski, Michal Kurowski, Grzegorz Juchnikowski, Marek Morawski, Michal Mosdorf, Piotr Orleanski, Cedric Thizy and Marcus Voelp: From Graphs to the Science Computer of a Space Telescope. The power of Petri Nets in Systems Engineering
- Franck Pommereau, Colin Thomas and Cedric Gaucherel: Petri Nets Semantics of Reaction Rules (RR), a Language for Ecosystems Modelling
- Maxim Storetvedt, Latchezar Betev, Nikola Hardi, Håvard Helstrup, Kristin Fanebust Hetland and Bjarte Kileng: Modelling the Next Generation ALICE Grid Middleware using Coloured Petri Nets
12:00 – 13:30 Lunch (Room: M130/131)
13:30 – 14:30 Session 5: Synthesis (Chair: Lucia Pomello)
- Raymond Devillers and Ronny Tredup: Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues
- Paul Hannibal and Ernst-Rüdiger Olderog: The Synthesis Problem for Repeatedly Communicating Petri Games
14:30 – 15:00 Coffee Break (Room: M130/131)
15:00 – 16:00 Session 6: Petri nets architecture (Chair: Luca Bernardinello)
- Victor Khomenko, Maciej Koutny and Alex Yakovlev: Avoiding Exponential Explosion in Petri Net Models of Control Flows
- Elvio Gilberto Amparore and Susanna Donatelli: The ins and outs of Petri net composition
16:15 – 18:00 Petri Nets steering committee meeting (by invitation only)
9:30 – 10:30 Invited talk (Chair: Violet Ka I Pun)
10:30 – 11:00 Coffee Break (Room: M130/131)
11:00 – 12:00 Session 7: Process mining 1 (Chair: Abel Armas Cervantes)
- Lisa Luise Mannel and Wil van der Aalst: Improving the Noise Filtering Technique of the eST-Miner by Providing Fitness Guarantees
- Dominique Sommers, Natalia Sidorova and Boudewijn van Dongen: Aligning Event Logs to Resource-Constrained nu-Petri nets
12:00 – 13:00 Lunch (Room: M130/131)
13:00 – 14:00 Session 8: Process Mining 2 (Chair: Volker Stolz)
- Viki Peeva, Lisa Luise Mannel and Wil van der Aalst: From Place Nets to Local Process Models
- Jan Martijn E. M. van der Werf, Andrey Rivkin, Artem Polyvyanyy and Marco Montali: Data and Process Resonance: Identifier Soundness for Models of Information Systems
14:00 – 14:30 Closing session and hand-over ceremony
- M. Koutny: Information from the steering commitee
- L. Gomes: Presentation of Petri nets 2023 venue
14:30 – Closing and drinks (Room: M130/131)