| 2024 | Application and Theory of Petri Nets and Concurrency - 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings Lars Michael Kristensen, Jan Martijn E. M. van der Werf |
| 2024 | Concurrent Context-Free Grammar for Parsing Business Processes with Iterated Shuffles. Akio Watanabe, Ayumi Araragi, Hiroki Ikeuchi, Yousuke Takahashi |
| 2024 | Conformance Checking with Model Projections - Rethinking Log-Model Alignments for Processes with Interacting Objects. Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen |
| 2024 | CosyVerif: The Path to Formalisms Cohabitation. Étienne André, Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, Van-François Le, Laure Petrucci |
| 2024 | Design of Event-Driven Tsetlin Machines Using Safe Petri Nets. Alex Chan, Adrian Wheeldon, Rishad A. Shafik, Alex Yakovlev |
| 2024 | Harnessing Structure Theory of Petri Nets in Discrete Event System Simulation. José Manuel Colom |
| 2024 | Hilbert Composition of Multilabelled Events. Elvio G. Amparore, Susanna Donatelli, Lea Terracini |
| 2024 | Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets. Pierre Bouvier, Hubert Garavel |
| 2024 | Languages of Higher-Dimensional Timed Automata. Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg |
| 2024 | Modular State Spaces - A New Perspective. Julian Gaede, Sophie Wallner, Karsten Wolf |
| 2024 | On the Application of Model-Driven Optimization to Business Processes. Gabriele Taentzer, Jens Kosiol, Leen Lambers |
| 2024 | On the Expressive Power of Transfinite Sequences for Continuous Petri Nets. Stefan Haar, Serge Haddad |
| 2024 | Petri Net Synthesis from a Reachability Set. Eike Best, Raymond Devillers |
| 2024 | Process Comparison Using Petri Net Decomposition. Tobias Brockhoff, Moritz Nicolas Gose, Merih Seran Uysal, Wil M. P. van der Aalst |
| 2024 | Relational Structures for Interval Order Semantics of Concurrent Systems. Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski |
| 2024 | Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers. Fernando Pereira, João-Paulo Barros, Filipe Moutinho, Anikó Costa, Rogério Campos-Rebelo, Luís Gomes |
| 2024 | Safety Verification of Wait-Only Non-Blocking Broadcast Protocols. Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder |
| 2024 | Symbolic Domains and Reachability for Nets with Trajectories. Loïc Hélouët, Prerak Contractor |
| 2024 | Symbolic Model Checking Using Intervals of Vectors. Damien Morard, Lucas Donati, Didier Buchs |
| 2024 | Token Trail Semantics II - Petri Nets And Their Net Language. Jakub Kovár, Robin Bergenthum |
| 2024 | Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case Study. Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes |
| 2024 | Verifying Temporal Logic Properties in the Modular State Space. Lukas Zech, Karsten Wolf |