| Wil van der Aalst. Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions |
| Petr Jancar, Jérôme Leroux and Grégoire Sutre. Co-finiteness and co-emptiness of reachability sets in vector addition systems with states |
| Karsten Wolf. Petri Net Synthesis with Union/Find |
| Rüdiger Valk. On the Structure of Cycloids introduced by Carl Adam Petri |
| Sebastian Junges, Joost-Pieter Katoen, Marielle Stoelinga and Matthias Volk. One Net Fits All |
| Raymond Devillers and Thomas Hujsa. Analysis and Synthesis of Weighted Marked Graph Petri Nets |
| Karsten Wolf. Petri Net Model Checking with LoLA 2 |
| Ryszard Janicki. Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains |
| Ronny Tredup, Christian Rosenke and Karsten Wolf. Elementary Net Synthesis remains NP-Complete even for Extremely Simple Inputs |
| Frederik M. Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen and Jiri Srba. Simplification of CTL Formulae for Efficient Model Checking of Petri Nets |
| Engel Lefaucheux, Alessandro Giua and Carla Seatzu. Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis |
| Eike Best, Nataliya Gribovskaya and Irina Virbitskaite. From Event-Oriented Models to Transition Systems |
| Raymond Devillers and Uli Schlachter. Factorisation of Petri Net Solvable Transition Systems |
| Didier Buchs, Alban Linard, Romain Mencattini, Stefan Klikovits and Dimitri Racordon. A Model Checker Collection for the Model Checking Contest using Docker and Machine Learning |
| Uli Schlachter and Harro Wimmel. A Geometric Characterisation of Event/State Separation |
| Clément Bertrand, Hanna Klaudel, Frédéric Peschanski and Matthieu Latapy. Pattern Matching in Link Streams: a Token-based Approach |
| Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst and Reinder Haakma. LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining World |
| David Frutos Escrig, Maciej Koutny and Lukasz Mikulski. An Efficient Characterization of Petri Net Solvable Binary Words |
| Carlos Eduardo Alves Da Silva, José Jean-Paul Zanlucchi De Souza Tavares and Marco Vinícius Muniz Ferreira. Arduino Library Developed for Petri Net Inserted into RFID Database and Variants |
| Christoph Brinkrolf and Philo Reipke. OMPetri – A Software Application for Modeling and Simulation using Extended Hybrid Petri nets by Employing OpenModelica |
| Benoît Barbot, Béatrice Bérard, Yann Duplouy and Serge Haddad. Integrating Simulink Models into the Model Checker Cosmos |
| Elvio Gilberto Amparore and Susanna Donatelli. GreatTeach: a tool for teaching (stochastic) Petri nets |
| Ekkart Kindler. ePNK Applications and Annotations: A Simulator for YAWL Nets |