Petri Nets 2025

22-27 June 2025 (Paris, France)

Program

Day-by-day program

Monday 23rd June 2025: workshops and Petri net course

Event Schedule Location
Petri Net Course 8.30 – 10.00 and 10.30 – 12.00 + 13.30 – 15.00 and 15.30 – 17.00 Room TBA
PNSE 2025   Room TBA

Tuesday 24th June 2025: workshops and Petri net course

Event Schedule Location
Petri Net Course 8.30 – 10.00 and 10.30 – 12.00 + 13.30 – 15.00 and 15.30 – 17.00 Room TBA
PNSE 2025   Room TBA
ATAED 2025   Room TBA
Model Checking Contest 2025   Room TBA
PeNGE 2025   Room TBA

Wednesday 25th June 2025: main conference

Time Session Authors Paper
08:15-8:45 📑Registration    
08:45-09:00 🗣Opening    
09:00-10:00 Invited speaker Dirk Beyer The Transformation Game: Joining Forces for Verification
10:00-10:30 ☕️Coffee break    
10:30-12:00 Session 1: Composition & Synthesis Chair: TBA  
10:30-11:00   Michael Köhler-Bußmeier and Lorenzo Capra Analysing Probabilistic Hornets
11:00-11:30   Maciej Koutny, Alex Yakovlev and Victor Khomenko Distributed Places and Safe Net Reduction
11:30-12:00   Robin Bergenthum and Jakub Kovář Synthesizing Petri Nets from Labelled Petri Nets
12:00-13:30 🥗Lunch break    
13:30-15:00 Session 2: Workflow Nets Chair: TBA  
13:30-14:00   Thomas M. Prinz, Christopher T. Schwanen and Wil van der Aalst Deciding (Sub-Marking) Reachability in O(P2 + T2) for Sound Acyclic Free-Choice Workflow Nets
14:00-14:30   Christopher T. Schwanen, Wied Pakusa and Wil van der Aalst Complexity of Alignments on Sound Free-Choice Workflow Nets
14:30-15:00   Humam Kourani, Gyunam Park and Wil van der Aalst Translating Workflow Nets into the Partially Ordered Workflow Language
15:00-15:30 ☕️Coffee break    
15:30-17:30 Session 3: Process Mining Chair: TBA  
15:30-16:00   Adam Banham, Yannis Bertrand, Robert Andrews, Moe Wynn and Sander J.J. Leemans Discovering the Influence of Exogenous Data on Decisions in Processes
16:00-16:30   Priyanka Kamboj, Cyrille Artho, Roberto Guanciale, Reyhaneh Jabbarvand and Brighten Godfrey Leveraging Petri Nets for Workflow Anomaly Detection in Microservice Architectures
16:30-17:00   Ariba Siddiqui, Wil van der Aalst and Daniel Schuster Computing Alignments for Partially-ordered Traces Through Petri Net Unfoldings
17:00-17:30   Sander J.J. Leemans, Marco Montali, Timo Gersing, Felix Engelhardt and Natalia Sidorova Enjoy the Silence, Part II: Probability-Based Queries on Stochastic Labelled Petri Nets
19:00-20:30 🍸Welcome reception (to be confirmed)  

Thursday 26th June 2025: main conference

Time Session Authors Paper
09:00-10:00 Invited speaker Patricia Bouyer-Decitre On the Probabilistic and Statistical Verification of Infinite Markov Chains
10:00-10:30 ☕️Coffee break    
10:30-12:00 Session 4: Model Checking Chair: TBA  
10:30-11:00   Lukas Zech. Symbolic Model Checking in the Modular State Space using Binary Decision Diagrams
11:00-11:30   Yann Thierry-Mieg, Alexandre Duret-Lutz and Denis Poitrenaud Simplifying LTL Model-Checking Given Prior Knowledge
11:30-12:00   Baptiste Pelletier, Charles Lesire and Karen Godary-Dejean SkiNet: a User-Oriented Tool for Petri Net-based Analysis of Robotic Skills
12:00-13:30 🥗Lunch break    
13:30-15:00 Session 5: Timed and Stochastic Petri nets Chair: TBA  
13:30-14:00   Tanguy Dubois, Kim Guldstrand Larsen and Jiri Srba Statistical Model Checking of Stochastic Timed-Arc Petri Nets
14:00-14:30   Didier Lime, Rémi Parrot and Olivier H. Roux Decidability problems for weak Time Petri Nets with read, reset and transfer arcs
14:30-15:00   Loic Helouet, Nicolas Markey and Luca Paparazzo Energy Transfer in timed cyclic networks
15:00-15:30 ☕️Coffee break    
15:30-17:30 Tool demonstrations Chair: Dylan Marinho  
    TBA TBA
    TBA TBA
19:00-23:00 🍽Conference dinner Paris 14th district  

Friday 27th June 2025: main conference

Time Session Authors Paper
09:00-10:00 Invited speaker Marco Montali Automated Reasoning for Data-Aware Petri Nets
10:00-10:30 ☕️Coffee break    
10:30-12:00 Session 6: Theory of Petri nets Chair: TBA  
10:30-11:00   Rüdiger Valk. Failure Resilience of strongly synchronized Processes
11:00-11:30   Eike Best and Raymond Devillers Persistent Permutations, Fairness, Asymmetric Choice Petri Nets, and Ochmanski’s Conjecture
11:30-12:00   Eike Best , Raymond Devillers and Petr Jancar Coverability in Well-Formed Free-Choice Nets
12:00-13:30 🥗Lunch break    
13:30-15:00 Session 7: Communication & concurrency Chair: TBA  
13:30-14:00   Benedikt Bollig, Marie Fortin and Paul Gastin High-Level Message Sequence Charts: Satisfiability and Realizability Revisited
14:00-14:30   Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Loïc Hélouët and Philipp Schlehuber-Caissier Petri Nets and Higher-Dimensional Automata
14:30-15:00   Laif-Oke Clasen, Can Nayci and Daniel Moldt Distributed Reference Net Simulation based on Event Streaming
15:00-15:30 ☕️Coffee break (?)    

List of all accepted papers (in no particular order)

  • Sander J.J. Leemans, Marco Montali, Timo Gersing, Felix Engelhardt and Natalia Sidorova. Probability-Based Queries on Stochastic Labelled Petri Nets
  • Eike Best and Raymond Devillers . Persistent Permutations, Fairness, Asymmetric Choice Petri Nets, and Ochmanski’s Conjecture
  • Eike Best , Raymond Devillers and Petr Jancar. Coverability in Well-Formed Free-Choice Nets
  • Adam Banham, Yannis Bertrand, Robert Andrews, Moe Wynn and Sander J.J. Leemans. Discovering the Influence of Exogenous Data on Decisions in Processes
  • Maciej Koutny, Alex Yakovlev and Victor Khomenko. Distributed Places and Safe Net Reduction
  • Michael Köhler-Bußmeier and Lorenzo Capra. Analysing Probabilistic Hornets
  • Thomas M. Prinz, Christopher T. Schwanen and Wil van der Aalst. Deciding (Sub-Marking) Reachability in O(P2 + T2) for Sound Acyclic Free-Choice Workflow Nets
  • Priyanka Kamboj, Cyrille Artho, Roberto Guanciale, Reyhaneh Jabbarvand and Brighten Godfrey. Leveraging Petri Nets for Workflow Anomaly Detection in Microservice Architectures
  • Lukas Zech. Symbolic Model Checking in the Modular State Space using Binary Decision Diagrams
  • Robin Bergenthum and Jakub Kovář. Synthesizing Petri Nets from Labelled Petri Nets
  • Tanguy Dubois, Kim Guldstrand Larsen and Jiri Srba. Statistical Model Checking of Stochastic Timed-Arc Petri Nets
  • Yann Thierry-Mieg, Alexandre Duret-Lutz and Denis Poitrenaud. Simplifying LTL Model-Checking Given Prior Knowledge
  • Humam Kourani, Gyunam Park and Wil van der Aalst. Translating Workflow Nets into the Partially Ordered Workflow Language
  • Didier Lime, Rémi Parrot and Olivier H. Roux. Decidability problems for weak Time Petri Nets with read, reset and transfer arcs
  • Baptiste Pelletier, Charles Lesire and Karen Godary-Dejean. SkiNet: a User-Oriented Tool for Petri Net-based Analysis of Robotic Skills
  • Loic Helouet, Nicolas Markey and Luca Paparazzo. Energy Transfer in timed cyclic networks
  • Ariba Siddiqui, Wil van der Aalst and Daniel Schuster. Computing Alignments for Partially-ordered Traces Through Petri Net Unfoldings
  • Christopher T. Schwanen, Wied Pakusa and Wil van der Aalst. Complexity of Alignments on Sound Free-Choice Workflow Nets
  • Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Loïc Hélouët and Philipp Schlehuber-Caissier. Petri Nets and Higher-Dimensional Automata
  • Rüdiger Valk. Failure Resilience of strongly synchronized Processes
  • Benedikt Bollig, Marie Fortin and Paul Gastin. High-Level Message Sequence Charts: Satisfiability and Realizability Revisited
  • Laif-Oke Clasen, Can Nayci and Daniel Moldt. Distributed Reference Net Simulation based on Event Streaming