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 |