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|