| 2025 | Analysing Probabilistic Hornets. Michael Köhler-Bußmeier, Lorenzo Capra |
| 2025 | Application and Theory of Petri Nets and Concurrency - 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings Elvio Gilberto Amparore, Lukasz Mikulski |
| 2025 | Automated Reasoning for Data-Aware Petri Nets. Marco Montali |
| 2025 | Complexity of Alignments on Sound Free-Choice Workflow Nets. Christopher T. Schwanen, Wied Pakusa, Wil M. P. van der Aalst |
| 2025 | Computing Alignments for Partially-Ordered Traces Through Petri Net Unfoldings. Ariba Siddiqui, Wil M. P. van der Aalst, Daniel Schuster |
| 2025 | Coverability in Well-Formed Free-Choice Nets. Eike Best, Raymond Devillers, Petr Jancar |
| 2025 | Decidability Problems for Weak Time Petri Nets with Read, Reset and Transfer Arcs. Didier Lime, Rémi Parrot, Olivier H. Roux |
| 2025 | Deciding (Sub-Marking) Reachability in ±b O(P Thomas M. Prinz, Christopher T. Schwanen, Wil M. P. van der Aalst |
| 2025 | Discovering the Influence of Exogenous Data on Decisions in Processes. Adam Banham, Yannis Bertrand, Robert Andrews, Moe Thandar Wynn, Sander J. J. Leemans |
| 2025 | Distributed Places and Safe Net Reduction. Victor Khomenko, Maciej Koutny, Alex Yakovlev |
| 2025 | Distributed Reference Net Simulation Based on Event Streaming. Laif-Oke Clasen, Can Nayci, Daniel Moldt |
| 2025 | Energy Transfer in Timed Cyclic Networks. Luca Paparazzo, Loïc Hélouët, Nicolas Markey |
| 2025 | Enjoy the Silence, Part II: Probability-Based Queries on Stochastic Labelled Petri Nets. Sander J. J. Leemans, Marco Montali, Timo Gersing, Felix Engelhardt, Natalia Sidorova |
| 2025 | Failure Resilience of Strongly Synchronized Processes. Rüdiger Valk |
| 2025 | High-Level Message Sequence Charts: Satisfiability and Realizability Revisited. Benedikt Bollig, Marie Fortin, Paul Gastin |
| 2025 | Leveraging Petri Nets for Workflow Anomaly Detection in Microservice Architectures. Priyanka Kamboj, Cyrille Artho, Roberto Guanciale, Reyhaneh Jabbarvand, Brighten Godfrey |
| 2025 | Persistent Permutations, Fairness, Asymmetric Choice Petri Nets, and Ochmański's Conjecture. Eike Best, Raymond Devillers |
| 2025 | Petri Nets and Higher-Dimensional Automata. Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Loïc Hélouët, Philipp Schlehuber-Caissier |
| 2025 | Simplifying LTL Model Checking Given Prior Knowledge. Alexandre Duret-Lutz, Denis Poitrenaud, Yann Thierry-Mieg |
| 2025 | SkiNet: A User-Oriented Tool for Petri Net-Based Analysis of Robotic Skills. Baptiste Pelletier, Charles Lesire, Karen Godary-Dejean |
| 2025 | Statistical Model Checking of Stochastic Timed-Arc Petri Nets. Tanguy Dubois, Kim G. Larsen, Jirí Srba |
| 2025 | Symbolic Model Checking in the Modular State Space Using Binary Decision Diagrams. Lukas Zech |
| 2025 | Synthesizing Petri Nets from Labelled Petri Nets. Robin Bergenthum, Jakub Kovár |
| 2025 | Translating Workflow Nets into the Partially Ordered Workflow Language. Humam Kourani, Gyunam Park, Wil M. P. van der Aalst |