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|