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 |