| 2023 | A Myhill-Nerode Theorem for Higher-Dimensional Automata. Uli Fahrenberg, Krzysztof Ziemianski |
| 2023 | A State Class Based Controller Synthesis Approach for Time Petri Nets. Loriane Leclercq, Didier Lime, Olivier H. Roux |
| 2023 | Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings Luís Gomes, Robert Lorenz |
| 2023 | Automated Polyhedral Abstraction Proving. Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan |
| 2023 | Computing Under-approximations of Multivalued Decision Diagrams. Seyedehzahra Hosseini, Gianfranco Ciardo |
| 2023 | Enriching Heraklit Modules by Agent Interaction Diagrams. Daniel Moldt, Marcel Hansson, Lukas Seifert, Karl Ihlenfeldt, Laif-Oke Clasen, Kjell Ehlers, Matthias Feldmann |
| 2023 | Exact and Approximated Log Alignments for Processes with Inter-case Dependencies. Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen |
| 2023 | Experimenting with Stubborn Sets on Petri Nets. Sami Evangelista |
| 2023 | Explorative Process Discovery Using Activity Projections. Yisong Zhang, Wil M. P. van der Aalst |
| 2023 | Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems. Midhun Xavier, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin |
| 2023 | From Process-Agnostic to Process-Aware Automation, Mining, and Prediction. Stefanie Rinderle-Ma, Janik-Vasily Benzin, Juergen Mangler |
| 2023 | Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems. Remigiusz Wisniewski, Grzegorz Bazydlo, Marcin Wojnakowski, Mateusz Poplawski |
| 2023 | ILP Sabine Folz-Weinstein, Robin Bergenthum, Jörg Desel, Jakub Kovár |
| 2023 | Interval Traces with Mutex Relation. Ryszard Janicki, Maciej Koutny, Lukasz Mikulski |
| 2023 | Mochy: A Tool for the Modeling of Concurrent Hybrid Systems. Loïc Hélouët, Antoine Thébault |
| 2023 | Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking. Felix Mannhardt, Sander J. J. Leemans, Christopher T. Schwanen, Massimiliano de Leoni |
| 2023 | On the Reversibility of Circular Conservative Petri Nets. Raymond Devillers |
| 2023 | RENEW: Modularized Architecture and New Features. Daniel Moldt, Jonte Johnsen, Relana Streckenbach, Laif-Oke Clasen, Michael Haustermann, Alexander Heinze, Marcel Hansson, Matthias Feldmann, Karl Ihlenfeldt |
| 2023 | Stochastic Decision Petri Nets. Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König |
| 2023 | Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming |
| 2023 | Taking Complete Finite Prefixes to High Level, Symbolically. Nick Würdemann, Thomas Chatain, Stefan Haar |
| 2023 | There and Back Again - On the Reconstructability and Rediscoverability of Typed Jackson Nets. Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, Jan Martijn E. M. van der Werf |
| 2023 | Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets. Robin Bergenthum, Sabine Folz-Weinstein, Jakub Kovár |
| 2023 | Transforming Dynamic Condition Response Graphs to Safe Petri Nets. Vlad Paul Cosma, Thomas T. Hildebrandt, Tijs Slaats |