| Vol-2138 urn:nbn:de:0074-2138-5 Copyright © 2018 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 2018
Petri Nets and Software Engineering

### Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18),
co-located with the
39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the
18th International Conference on Application of Concurrency to System Design ACSD 2018

### Bratislava, Slovakia, June 24-29, 2018.

Edited by

### Daniel Moldt *
Ekkart Kindler **
Heiko Rölke ***

* Department of Informatics, University of Hamburg, Germany
** Technical University of Denmark, Denmark
*** DIPF (German Institute for International Educational Research), Germany

Complete proceedings in one ZIP file.
BibTeX for the PNSE'18 proceedings.

## Table of Contents

- Frontmatter 1-8

### Invited Talk

- On the Interplay between Model-Driven Engineering, Domain-Specific Languages, and Petri Nets 11-12
  Manuel Wimmer

### Long Presentations

- Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games 15-34
  Luca Bernardinello, Lucia Pomello, Adrián Puerto Aubel, Alessandro Villa
- Petri Sport: A Sport for Petri Netters 35-56
  Stefan Klikovits, Alban Linard, Dimitri Racordon, Didier Buchs
- Graphical Simulation Feedback in Petri Net-based Domain-Specific Languages within a Meta-Modeling Environment 57-76
  David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz
- Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets 77-98
  Ramchandra Phawade
- On Modelling and Validation of the MQTT IoT Protocol for M2M Communication 99-118
  Alejandro Rodriguez, Lars Michael Kristensen, Adrian Rutle

### Short Presentations

- Visualising Data Sets in Structured Occurrence Nets 121-132
  Talal Alharbi, Maciej Koutny
- Investigation of Containerizing Distributed Petri Net Simulations 133-142
  Jan Henrik Röwekamp, Daniel Moldt, Matthias Feldmann
- The Pheromone of Ant Emulated by Petri Net Inserted Inversely in RFID Database for Swarm Robots 143-162
  Marco Vinícius Muniz Ferreira, José Jean-Paul Zanlucchi de Souza Tavares, José Reinaldo Silva
- A Simple Abstract Interpretation for Petri Net Queries 163-170
  Karsten Wolf

### Poster Presentation

- P-graph Algorithms for Petri Net Synthesis 173-174
  Rozália Lakner, Ferenc Friedler, Botond Bertók

2018-07-02: submitted by Daniel Moldt, metadata incl. bibliographic data published under Creative Commons CC0
2018-07-12: published on CEUR-WS.org |valid HTML5|