| Vol-2424 urn:nbn:de:0074-2424-7 Copyright © 2019 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# PNSE 2019
Petri Nets and Software Engineering

### Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019),
co-located with the
40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the
19th International Conference on Application of Concurrency to System Design ACSD 2019 and the
1st IEEE International Conference on Process Mining Process Mining 2019

### Aachen, Germany, June 23–28, 2019.

Edited by

### Daniel Moldt *
Ekkart Kindler **
Manuel Wimmer ***

* Department of Informatics, University of Hamburg, Germany
** Technical University of Denmark, Denmark
*** Department of Business Informatics – Software Engineering, JKU Linz, Austria

Complete proceedings in one ZIP file
BibTeX for the PNSE 2019 proceedings.

## Table of Contents

- Frontmatter 1-8

### Invited Talks

- Quotients for Behaviour Comparisons: Monotone Precision and Recall Measures for Process Mining 11-12
  Jan Mendling
- Petri Nets in Multi-Paradigm Modelling 13-14
  Hans Vangheluwe

### Long Presentations

- An Asynchronous Game on Distributed Petri Nets 17-36
  Federica Adobbati, Luca Bernardinello, Lucia Pomello
- Towards Extensible Structural Analysis of Petri Net Product Lines 37-46
  Elena Gómez-Martínez, Juan de Lara, Esther Guerra
- Solving E (φUψ) using the CEGAR Approach 47-56
  Torsten Liebke, Karsten Wolf
- On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method 57-72
  Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle
- PNRD and iPNRD Integration Assisting Adaptive Control in Block World Domain 73-90
  José Jean-Paul Zanlucchi de Souza Tavares, Gabriel De A. Souza

### Short Presentations

- Domain Name System (DNS) Tunneling Detection using Structured Occurrence Nets (SONs) 93-108
  Talal Alharbi, Maciej Koutny
- Petri Meta-Compiler - A Recursive Approach to System Design and Development 109-126
  Piotr Chrząstowski-Wachtel, Michał Doleżek, Paweł Greipner, Tomasz Wójcicki
- A Petri Net Table Model Applied to Classic and Agile Project Management 127-142
  Maxi Weichenhain, Wolfgang Fengler
- Modelling Hybrid Cyber Kill Chain 143-160
  Wen Zeng, Vasileios Germanos

### Poster Presentations

- Simulating Place/Transition Nets by a Distributed, Web Based, Stateless Service 163-164
  Jan Henrik Röwekamp, Matthias Feldmann, Daniel Moldt, Michael Simon
- A First Prototype for the Visualization of the Reachability Graph of Reference Nets 165-166
  Michael Simon, Daniel Moldt, Henri Engelhardt, Sven Willrodt

2019-07-31: submitted by Manuel Wimmer, metadata incl. bibliographic data published under Creative Commons CC0
2019-08-01: published on CEUR-WS.org |valid HTML5|