Program

🚧 This page is still under construction; please stay tuned! 🚧

List of 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(P² + T²) 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

Day-by-day program

Sunday 22nd June 2025 (remote)

Tutorial (TBA)

Monday 23rd June 2025: workshops and tutorials

Tuesday 24th June 2025: workshops and tutorials

Wednesday 25th June 2025: main conference

Thursday 26th June 2025: main conference

Friday 27th June 2025: main conference