| 0 | -- | 0 | Johan Lilius, Wojciech Penczek. Preface |
| 179 | -- | 203 | Eike Best, Philippe Darondeau. Separability in Persistent Petri Nets |
| 205 | -- | 228 | Javier Esparza, Martin Leucker, Maximilian Schlund. Learning Workflow Petri Nets |
| 229 | -- | 264 | Steve Hostettler, Alexis Marechal, Alban Linard, Matteo Risoldi, Didier Buchs. High-Level Petri Net Model Checking with AlPiNA |
| 265 | -- | 293 | Dai Tri Man Le. On Three Alternative Characterizations of Combined Traces |
| 295 | -- | 311 | Niels Lohmann, Daniela Weinberg. Wendy: A Tool to Synthesize Partners for Services |
| 313 | -- | 341 | Fernando Rosa Velardo, María Martos-Salgado, David de Frutos-Escrig. Accelerations for the Coverability Set of Petri Nets with Names |
| 343 | -- | 376 | Marc Solé, Josep Carmona. Light Region-based Techniques for Process Discovery |
| 377 | -- | 397 | Antti Valmari, Henri Hansen. Can Stubborn Sets Be Optimal? |
| 399 | -- | 435 | Matthias Weidlich, Artem Polyvyanyy, Jan Mendling, Mathias Weske. Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation |