Program
Proceedings
The proceedings of the Petri Nets main conference can be accessed via the Springer Web site below:
🏆Best paper award
: Statistical Model Checking of Stochastic Timed-Arc Petri Nets.
Day-by-day program
Until Monday 23rd June 2025: Petri net course
- video lecture by Jörg Desel: Basic Net Classes
- video lecture by Lars Michael Kristensen: Coloured Petri Nets and the CPN Tools
Monday 23rd June 2025: workshops and Petri net course
| Event | Schedule | Location |
|---|---|---|
| Petri Net Course: Verification and Model Checking of Petri Nets | 8.30 – 10.00 and 10.30 – 12.00 | Room 3.01 |
| Petri Net Course: Timed and Stochastic Petri Nets | 13.30 – 15.00 and 15.30 – 17.00 | Room 3.01 |
| PNSE 2025 | 8.30 – 10.00 and 10.30 – 12.00 and 13.30 – 15.00 and 15.30 – 17.00 | Salle 100 |
| 17:00-… | 🍸PNSE posters and cocktail (open to everyone) | Forum |
Tuesday 24th June 2025: workshops and tutorials
| Event | Schedule | Location |
|---|---|---|
| Tutorial: Object-centric process modeling and analysis. A short avant-garde journey | 8.30 – 10.00 and 10.30 – 12.00 | Salle 100 |
| Tutorial: Modeling Complex Systems with High-level Petri Nets | 13.30 – 15.00 and 15.30 – 17.00 | Salle 100 |
| ATAED 2025 | 13:45 - 15:00 and 15:30 - 17:00 | Room 3.02 |
| Model Checking Contest 2025 | 13.30 – 15.00 | Room 3.01 |
| PeNGE 2025 | 09.00 – 10.00 and 10.30 – 12.00 | Room 3.01 |
| Steering committee meeting (by invitation) | 16.00 – 17.30 | Room 3.01 |
| Steering committee dinner (by invitation) | 19.00 – … | Rue d’Odessa, 75014 Paris |
Wednesday 25th June 2025: main conference
| Time | Session | Authors | Paper |
|---|---|---|---|
| 08:15-8:45 | 📑Registration | ||
| 08:45-09:00 | 🗣Opening | Elvio Amparore and Łukasz Mikulski | |
| 09:00-10:00 | Invited speaker | Dirk Beyer (Chair: Étienne André) |
The Transformation Game: Joining Forces for Verification (slides). |
| 10:00-10:30 | ☕️Coffee break | ||
| 10:30-12:00 | Session 1: Composition & Synthesis | Chair: Lucia Pomello | |
| 10:30-11:00 | Analysing Probabilistic Hornets | ||
| 11:00-11:30 | Distributed Places and Safe Net Reduction | ||
| 11:30-12:00 | Synthesizing Petri Nets from Labelled Petri Nets | ||
| 12:00-13:30 | 🥗Lunch break | ||
| 13:30-15:00 | Session 2: Workflow Nets | Chair: Loïc Hélouët | |
| 13:30-14:00 | Deciding (Sub-Marking) Reachability in O(P2 + T2) for Sound Acyclic Free-Choice Workflow Nets | ||
| 14:00-14:30 | Complexity of Alignments on Sound Free-Choice Workflow Nets | ||
| 14:30-15:00 | Translating Workflow Nets into the Partially Ordered Workflow Language | ||
| 15:00-15:30 | ☕️Coffee break | ||
| 15:30-17:30 | Session 3: Process Mining | Chair: Michael Köhler-Bußmeier | |
| 15:30-16:00 | Persistent Permutations, Fairness, Asymmetric Choice Petri Nets, and Ochmanski’s Conjecture | ||
| 16:00-16:30 | Leveraging Petri Nets for Workflow Anomaly Detection in Microservice Architectures | ||
| 16:30-17:00 | Computing Alignments for Partially-ordered Traces Through Petri Net Unfoldings | ||
| 17:00-17:30 | Coverability in Well-Formed Free-Choice Nets | ||
| 18:30-20:00 | 🍸Welcome reception |
Thursday 26th June 2025: main conference
| Time | Session | Authors | Paper |
|---|---|---|---|
| 09:00-10:00 | Invited speaker | Patricia Bouyer-Decitre (Chair: Elvio Amparore) |
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: Abel Armas | |
| 10:30-11:00 | Symbolic Model Checking in the Modular State Space using Binary Decision Diagrams | ||
| 11:00-11:30 | Simplifying LTL Model-Checking Given Prior Knowledge | ||
| 11:30-12:00 | SkiNet: a User-Oriented Tool for Petri Net-based Analysis of Robotic Skills | ||
| 12:00-13:30 | 🥗Lunch break (vegetarian) | ||
| 13:30-15:00 | Session 5: Timed and Stochastic Petri nets | Chair: Andrey Rivkin | |
| 13:30-14:00 | Statistical Model Checking of Stochastic Timed-Arc Petri Nets 🏆 Best paper award |
||
| 14:00-14:30 | Decidability problems for weak Time Petri Nets with read, reset and transfer arcs | ||
| 14:30-15:00 | Energy Transfer in timed cyclic networks | ||
| 15:00-16:00 | ☕️Coffee break and tool demos | ||
| 15:00-16:00 | Tool demonstrations | Chair: Dylan Marinho | |
| Sander Leemans | Ebi - a stochastic process mining tool | ||
| Jakub Kovar | I ❤ Petri Nets (website) | ||
| 16:00-17:30 | Session 6: Communication & concurrency | Chair: Lars Michael Kristensen | |
| 16:00-16:30 | High-Level Message Sequence Charts: Satisfiability and Realizability Revisited | ||
| 16:30-17:00 | Petri Nets and Higher-Dimensional Automata | ||
| 17:00-17:30 | Distributed Reference Net Simulation based on Event Streaming | ||
| 19:00-23:00 | 🍽Conference dinner | La Coupole. 102 Boulevard du Montparnasse 75014 |
Friday 27th June 2025: main conference
| Time | Session | Authors | Paper |
|---|---|---|---|
| 09:00-10:00 | Invited speaker | Marco Montali (Chair: Łukasz Mikulski) |
Automated Reasoning for Data-Aware Petri Nets |
| 10:00-10:30 | ☕️Coffee break | ||
| 10:30-12:00 | Session 7: Theory of Petri nets | Chair: Marta Pietkiewicz-Koutny | |
| 10:30-11:00 | Failure Resilience of strongly synchronized Processes | ||
| 11:00-11:30 | Discovering the Influence of Exogenous Data on Decisions in Processes | ||
| 11:30-12:00 | Enjoy the Silence, Part II: Probability-Based Queries on Stochastic Labelled Petri Nets | ||
| 12:00-12:30 | Closing session | ||
| 12:30-13:30 | 🥗Lunch break and German specialties |