International Workshop on Petri Nets and Software Engineering 39th International Conference on Application and Theory of Petri Nets and Concurrency 2018

18th International Conference on Application of Concurrency to System Design

 Satellite event of the Editors: Daniel Moldt,

Ekkart Kindler and Heiko Rölke Proceedings of the International Workshop on

 P etri N ets and S oftware E ngineering

PNSE’18

These proceedings are published online by the editors as CEUR Workshop Proceedings ISSN 1613-0073

http://ceur-ws.org/

 Copyright for the individual papers is held by the papers’ authors. Copying is permitted only for private and academic purposes. This volume is published and copyrighted by its editors. Preface 5 PNSE’18 Preface

These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’18) in Bratislava, Slovakia, June 25–26, 2018. The workshop is co-located to the events of • Petri Nets 2018 – the 39th International Conference on Applications and

Theory of Petri Nets and Concurrency and • ACSD 2018 – the 18th International Conference on Application of Concurrency to System Design.

More information about the workshop can be found at http://www.informatik.uni-hamburg.de/TGI/events/pnse18/

For the successful realization of complex systems of interacting and reactive software and hardware components the use of a precise language at different stages of the development process is of crucial importance. Petri nets are becoming increasingly popular in this area, as they provide a uniform language supporting the tasks of modeling, validation and verification. Their popularity is due to the fact that Petri nets capture fundamental aspects of causality, concurrency, synchronization and choice in a natural and mathematically precise way without compromising readability. The use of Petri nets (P/T-nets, Coloured Petri nets and extensions) in the formal process of software engineering, covering modeling, validation, execution, simulation and verification, is presented as well as their application in several domains and tools supporting the disciplines mentioned above.

For the workshop we have chosen Manuel Wimmer as the invited speaker with the talk on On the Interplay between Model-Driven Engineering, DomainSpecific Languages, and Petri Nets. Furthermore we also share the invited talk of the ATAED workshop by Stefanie Rinderle-Ma with the title Challenges in Business Process Intelligence: Compliance, Collaboration, and Change. We received fifteen high-quality contributions for these proceedings. The program now consists of five papers with long presentation, four papers with short presentation, one poster contribution and the invited talk of Manuel Wimmer.

The international program committee of PNSE’18 was supported by the valued work of Imke Helene Drave and Jan Henrik Röwekamp as additional reviewers. Their valuable work is highly appreciated. Furthermore, we would like to thank our colleagues in the local organization team at the Bratislava University, Slovakia for their support. The organzational/technical work in Hamburg was supported by Michael Haustermann, David Mosteller and Dennis Schmitz. Without the enormous efforts of authors, reviewers, PC members and the organizational teams, this workshop would not provide such an interesting booklet.

Thank you very much!

PNSE’18 – Petri Nets and Software Engineering PNSE’18 Program Committee

Part I Invited Talk On the Interplay between Model-Driven Engineering, Domain-Specific Languages, and Petri Nets Manuel Wimmer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 Part II Long Presentations Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games Luca Bernardinello, Lucia Pomello, Adrián Puerto Aubel and Alessandro Villa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 Petri Sport: A Sport for Petri Netters Stefan Klikovits, Alban Linard, Dimitri Racordon and Didier Buchs . . . . 35 On Modelling and Validation of the MQTT IoT Protocol for M2M Communication

Alejandro Rodriguez, Lars Michael Kristensen and Adrian Rutle . . . . . . . 99 Part III Short Presentations Visualising Data Sets in Structured Occurrence Nets Talal Alharbi and Maciej Koutny . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121 Investigation of Containerizing Distributed Petri Net Simulations Jan Henrik Röwekamp, Daniel Moldt and Matthias Feldmann . . . . . . . . . 133 The Pheromone of Ant Emulated by Petri Net Inserted Inversely in RFID Database for Swarm Robots Marco Vinícius Muniz Ferreira, José Jean-Paul Zanlucchi de Souza Tavares and José Reinaldo Silva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143 A Simple Abstract Interpretation for Petri Net Queries Karsten Wolf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163 Part IV Poster Presentation P-graph Algorithms for Petri Net Synthesis Rozália Lakner, Ferenc Friedler and Botond Bertók . . . . . . . . . . . . . . . . . . 173