| 2018 | A Geometric Characterisation of Event/State Separation. Uli Schlachter, Harro Wimmel |
| 2018 | A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning. Didier Buchs, Stefan Klikovits, Alban Linard, Romain Mencattini, Dimitri Racordon |
| 2018 | An Efficient Characterization of Petri Net Solvable Binary Words. David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski |
| 2018 | Analysis and Synthesis of Weighted Marked Graph Petri Nets. Raymond Devillers, Thomas Hujsa |
| 2018 | Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings Victor Khomenko, Olivier H. Roux |
| 2018 | Arduino Library Developed for Petri Net Inserted into RFID Database and Variants. Carlos Eduardo Alves da Silva, José Jean-Paul Zanlucchi de Souza Tavares, Marco Vinícius Muniz Ferreira |
| 2018 | Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis. Engel Lefaucheux, Alessandro Giua, Carla Seatzu |
| 2018 | Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States. Petr Jancar, Jérôme Leroux, Grégoire Sutre |
| 2018 | Elementary Net Synthesis Remains NP-Complete Even for Extremely Simple Inputs. Ronny Tredup, Christian Rosenke, Karsten Wolf |
| 2018 | Factorisation of Petri Net Solvable Transition Systems. Raymond Devillers, Uli Schlachter |
| 2018 | From Event-Oriented Models to Transition Systems. Eike Best, Nataliya Gribovskaya, Irina B. Virbitskaite |
| 2018 | GreatTeach: A Tool for Teaching (Stochastic) Petri Nets. Elvio Gilberto Amparore, Susanna Donatelli |
| 2018 | Integrating Simulink Models into the Model Checker Cosmos. Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad |
| 2018 | LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining World. Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma |
| 2018 | Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions. Wil M. P. van der Aalst |
| 2018 | Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains. Ryszard Janicki |
| 2018 | OMPetri - A Software Application for Modeling and Simulation Using Extended Hybrid Petri Nets by Employing OpenModelica. Christoph Brinkrolf, Philo Reipke |
| 2018 | On the Structure of Cycloids Introduced by Carl Adam Petri. Rüdiger Valk |
| 2018 | One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs. Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk |
| 2018 | Pattern Matching in Link Streams: A Token-Based Approach. Clément Bertrand, Hanna Klaudel, Matthieu Latapy, Frédéric Peschanski |
| 2018 | Petri Net Model Checking with LoLA 2. Karsten Wolf |
| 2018 | Petri Net Synthesis with Union/Find. Karsten Wolf |
| 2018 | Self-adaptive Model Checking, the Next Step? Fabrice Kordon, Yann Thierry-Mieg |
| 2018 | Simplification of CTL Formulae for Efficient Model Checking of Petri Nets. Frederik Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen, Jirí Srba |
| 2018 | ePNK Applications and Annotations: A Simulator for YAWL Nets. Ekkart Kindler |