Accepted papers

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