Abstract is missing.
- Self-adaptive Model Checking, the Next Step?Fabrice Kordon, Yann Thierry-Mieg. 3-15 [doi]
- Analysis and Synthesis of Weighted Marked Graph Petri NetsRaymond R. Devillers, Thomas Hujsa. 19-39 [doi]
- Elementary Net Synthesis Remains NP-Complete Even for Extremely Simple InputsRonny Tredup, Christian Rosenke, Karsten Wolf. 40-59 [doi]
- Petri Net Synthesis with Union/FindKarsten Wolf. 60-81 [doi]
- Factorisation of Petri Net Solvable Transition SystemsRaymond R. Devillers, Uli Schlachter. 82-98 [doi]
- A Geometric Characterisation of Event/State SeparationUli Schlachter, Harro Wimmel. 99-116 [doi]
- From Event-Oriented Models to Transition SystemsEike Best, Nataliya Gribovskaya, Irina Virbitskaite. 117-139 [doi]
- Simplification of CTL Formulae for Efficient Model Checking of Petri NetsFrederik Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen, Jirí Srba. 143-163 [doi]
- Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability AnalysisEngel Lefaucheux, Alessandro Giua, Carla Seatzu. 164-183 [doi]
- Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with StatesPetr Jancar, Jérôme Leroux, Grégoire Sutre. 184-203 [doi]
- An Efficient Characterization of Petri Net Solvable Binary WordsDavid de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski. 207-226 [doi]
- Pattern Matching in Link Streams: A Token-Based ApproachClément Bertrand, Hanna Klaudel, Matthieu Latapy, Frédéric Peschanski. 227-247 [doi]
- Modeling Operational Semantics with Interval Orders Represented by Sequences of AntichainsRyszard Janicki. 251-271 [doi]
- One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNsSebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk 0001. 272-293 [doi]
- On the Structure of Cycloids Introduced by Carl Adam PetriRüdiger Valk. 294-314 [doi]
- Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled TransitionsWil M. P. van der Aalst. 315-336 [doi]
- ePNK Applications and Annotations: A Simulator for YAWL NetsEkkart Kindler. 339-350 [doi]
- Petri Net Model Checking with LoLA 2Karsten Wolf. 351-362 [doi]
- Integrating Simulink Models into the Model Checker CosmosBenoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad. 363-373 [doi]
- LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining WorldNiek Tax, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma. 374-384 [doi]
- A Model Checker Collection for the Model Checking Contest Using Docker and Machine LearningDidier Buchs, Stefan Klikovits, Alban Linard, Romain Mencattini, Dimitri Racordon. 385-395 [doi]
- Arduino Library Developed for Petri Net Inserted into RFID Database and VariantsCarlos Eduardo Alves da Silva, José Jean-Paul Zanlucchi de Souza Tavares, Marco Vinícius Muniz Ferreira. 396-405 [doi]
- OMPetri - A Software Application for Modeling and Simulation Using Extended Hybrid Petri Nets by Employing OpenModelicaChristoph Brinkrolf, Philo Reipke. 406-415 [doi]
- GreatTeach: A Tool for Teaching (Stochastic) Petri NetsElvio Gilberto Amparore, Susanna Donatelli. 416-425 [doi]