Main Track

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

Wednesday 22 June 2022

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)

15:30 – 18:00     Session 3: Tool presentations and demonstrations (Chair: Fabrice Kordon)

  • 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)

Thursday 23 June 2022

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)

Friday 24 June 2022

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)