- Mitchel Brunings, Dirk Fahland, Boudewijn F. van Dongen. Defining Meaningful Local Process Models. T. Petri Nets and Other Models of Concurrency, 16:24-48, 2022.
- Torsten Liebke, Karsten Wolf. Using Approximation for the Verification of Token-Scaling Models. T. Petri Nets and Other Models of Concurrency, 16:73-90, 2022.
- Ashur Rafiev, Jordan Morris, Fei Xia, Alex Yakovlev, Matthew Naylor, Simon W. Moore, David Thomas, Graeme M. Bragg, Mark Vousden, Andrew Brown. Practical Distributed Implementation of Very Large Scale Petri Net Simulations. T. Petri Nets and Other Models of Concurrency, 16:112-139, 2022.
- Karsten Wolf. Portfolio Management in Explicit Model Checking. T. Petri Nets and Other Models of Concurrency, 16:91-111, 2022.
- Pieter M. Kwantes, Jetty Kleijn. Distributed Synthesis of Asynchronously Communicating Distributed Process Models. T. Petri Nets and Other Models of Concurrency, 16:49-72, 2022.
- Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello. Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. T. Petri Nets and Other Models of Concurrency, 16:1-23, 2022.
- Elena Gómez-Martínez, Juan de Lara, Esther Guerra. Extensible Structural Analysis of Petri Net Product Lines. T. Petri Nets and Other Models of Concurrency, 15:27-49, 2021.
- Torsten Liebke, Karsten Wolf. Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach. T. Petri Nets and Other Models of Concurrency, 15:150-164, 2021.
- Ronny Tredup. The Complexity of Synthesizing sf nop-Equipped Boolean Petri Nets from g-Bounded Inputs. T. Petri Nets and Other Models of Concurrency, 15:101-125, 2021.
- Federica Adobbati, Carlo Ferigato, Stefano Gandelli, Adrián Puerto Aubel. Stability of Regional Orthomodular Posets Under Synchronisation and Refinement. T. Petri Nets and Other Models of Concurrency, 15:50-74, 2021.