- Philipp Bende, Olga Vovk, David Caraveo, Ludwig Pechmann, Martin Leucker. A Case Study on Data Protection for a Cloud- and AI-Based Homecare Medical Device. T. Petri Nets and Other Models of Concurrency, 17:138-161, 2023.
- Federica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu, Lucia Pomello. Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets. T. Petri Nets and Other Models of Concurrency, 17:54-83, 2023.
- Aishah Ahmed, Marta Pietkiewicz-Koutny. Strategies for Minimising the Synthesised ENL-Systems. T. Petri Nets and Other Models of Concurrency, 17:162-188, 2023.
- Bahareh Fatemi, Fazle Rabbi 0001, Wendy MacCaull. A Validated Learning Approach to Healthcare Process Analysis Through Contextual and Temporal Filtering. T. Petri Nets and Other Models of Concurrency, 17:108-137, 2023.
- Anirban Bhattacharyya, Maciej Koutny. Confusion-Tolerant Computation of Probability in Acyclic Nets. T. Petri Nets and Other Models of Concurrency, 17:212-245, 2023.
- Johan Arcile, Raymond R. Devillers, Hanna Klaudel. An Efficient State Space Construction for a Class of Timed Automata. T. Petri Nets and Other Models of Concurrency, 17:246-263, 2023.
- Ruben Dobler Strand, Lars Michael Kristensen, Laure Petrucci. Development and Verification of a Microservice Architecture for a Fire Risk Notification System. T. Petri Nets and Other Models of Concurrency, 17:27-53, 2023.
- Hanin Abdulrahman, Jason Steggles. Compositional Techniques for Boolean Networks and Attractor Analysis. T. Petri Nets and Other Models of Concurrency, 17:264-294, 2023.
- Federica Adobbati, Luca Bernardinello, Lucia Pomello, Riccardo Stramare. Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets. T. Petri Nets and Other Models of Concurrency, 17:189-211, 2023.
- Nicolas Amat, Pierre Bouvier, Hubert Garavel. A Toolchain to Compute Concurrent Places of Petri Nets. T. Petri Nets and Other Models of Concurrency, 17:1-26, 2023.