Abstract is missing.
- Quotients for Behaviour Comparisons: Monotone Precision and Recall Measures for Process MiningJan Mendling. 11-12 [doi]
- Petri Nets in Multi-Paradigm ModellingHans Vangheluwe. 13-14 [doi]
- An Asynchronous Game on Distributed Petri NetsFederica Adobbati, Luca Bernardinello, Lucia Pomello. 17-36 [doi]
- Towards Extensible Structural Analysis of Petri Net Product LinesElena Gómez-Martínez, Juan de Lara, Esther Guerra. 37-46 [doi]
- Solving E (φUψ) using the CEGAR ApproachTorsten Liebke, Karsten Wolf. 47-56 [doi]
- On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line MethodAlejandro Rodríguez 0006, Lars Michael Kristensen, Adrian Rutle. 57-72 [doi]
- PNRD and iPNRD Integration Assisting Adaptive Control in Block World DomainJosé Jean-Paul Zanlucchi de Souza Tavares, Gabriel De A. Souza. 73-90 [doi]
- Domain Name System (DNS) Tunneling Detection using Structured Occurrence Nets (SONs)Talal Alharbi, Maciej Koutny. 93-108 [doi]
- Petri Meta-Compiler - A Recursive Approach to System Design and DevelopmentPiotr Chrzastowski-Wachtel, Michal Dolezek, Pawel Greipner, Tomasz Wójcicki. 109-126 [doi]
- A Petri Net Table Model Applied to Classic and Agile Project ManagementMaxi Weichenhain, Wolfgang Fengler 0001. 127-142 [doi]
- Modelling Hybrid Cyber Kill ChainWen Zeng, Vasileios Germanos. 143-160 [doi]
- Simulating Place/Transition Nets by a Distributed, Web Based, Stateless ServiceJan Henrik Röwekamp, Matthias Feldmann, Daniel Moldt, Michael Simon. 163-164 [doi]
- A First Prototype for the Visualization of the Reachability Graph of Reference NetsMichael Simon, Daniel Moldt, Henri Engelhardt, Sven Willrodt. 165-166 [doi]