Abstract is missing.
- Checking Weak Observable Liveness on Unfoldings Through Asynchronous GamesLuca Bernardinello, Lucia Pomello, Adrián Puerto Aubel, Alessandro Villa. 15-34 [doi]
- Petri Sport: A Sport for Petri NettersStefan Klikovits, Alban Linard, Dimitri Racordon, Didier Buchs. 35-56 [doi]
- Graphical Simulation Feedback in Petri Net-based Domain-Specific Languages within a Meta-Modeling EnvironmentDavid Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz. 57-76 [doi]
- Kleene Theorems for Free Choice Nets Labelled with Distributed AlphabetsRamchandra Phawade. 77-98 [doi]
- On Modelling and Validation of the MQTT IoT Protocol for M2M CommunicationAlejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle. 99-118 [doi]
- Visualising Data Sets in Structured Occurrence NetsTalal Alharbi, Maciej Koutny. 121-132 [doi]
- Investigation of Containerizing Distributed Petri Net SimulationsJan Henrik Röwekamp, Daniel Moldt, Matthias Feldmann. 133-142 [doi]
- The Pheromone of Ant Emulated by Petri Net Inserted Inversely in RFID Database for Swarm RobotsMarco Vinícius Muniz Ferreira, José Jean-Paul Zanlucchi de Souza Tavares, José Reinaldo Silva. 143-162 [doi]
- A Simple Abstract Interpretation for Petri Net QueriesKarsten Wolf. 163-170 [doi]
- P-graph Algorithms for Petri Net SynthesisRozália Lakner, Ferenc Friedler, Botond Bertók. 173-174 [doi]