Ekkart Kindler and Manuel Wimmer Proceedings of the International Workshop on
PNSE’19
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.
These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’19) in Aachen, Germany, June 24, 2019. The workshop is co-located to the events of • Petri Nets 2019 – the 40th International Conference on Applications and
Theory of Petri Nets and Concurrency, • ACSD 2019 – the 19th International Conference on Application of Concurrency to System Design and • Process Mining 2019 – the 1st International Conference on Process Mining. More information about the workshop can be found at http://www.informatik.uni-hamburg.de/TGI/events/pnse19/
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 Jan Mendling and Hans Vangheluwe as the invited speakers. Their talks are Quotients for Behaviour Comparisons: Monotone Precision and Recall Measures for Process Mining and Petri Nets in Multi-Paradigm Modelling. Overall we received twenty high-quality contributions for these proceedings. The program now consists of five papers with long presentation, four papers with short presentation, two papers with poster contributions and the invited talks.
The international program committee of PNSE’19 was supported by the valued work of Lukasz Mikulski, Zbigniew Suraj and Tewfik Ziadi as additional reviewers. Their valuable work is highly appreciated. Furthermore, we would like to thank our colleagues in the local organization team at the RWTH Aachen University, Germany for their support. 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! Part I Invited Talks Quotients for Behaviour Comparisons: Monotone Precision and Recall Measures for Process Mining Jan Mendling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 An asynchronous game on distributed Petri nets Federica Adobbati, Luca Bernardinello and Lucia Pomello . . . . . . . . . . . . . 17 Towards extensible structural analysis of Petri net product lines Elena Gómez-Martínez, Juan de Lara and Esther Guerra . . . . . . . . . . . . . 37 Solving E ( U ) using the CEGAR approach Torsten Liebke and Karsten Wolf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method Alejandro Rodríguez, Lars Michael Kristensen and Adrian Rutle . . . . . . . 57 PNRD and iPNRD Integration Assisting Adaptive Control in a Block World Domain
Jose J. P. Z. S. Tavares and Gabriel De A. Souza . . . . . . . . . . . . . . . . . . . 73 Part III Short Presentations Domain Name System (DNS) Tunneling Detection using Structured Occurrence Nets (SONs) Talal Alharbi and Maciej Koutny . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93 Petri Meta-Compiler - a Recursive Approach to System Design and Development Piotr Chrząstowski-Wachtel, Michał Doleżek, Paweł Greipner and Tomasz Wójcicki . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109 A Petri Net Table Model Applied to Classic and Agile Project Management Maxi Weichenhain and Wolfgang Fengler . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127 Modelling Hybrid Cyber Kill Chain Wen Zeng and Vasileios Germanos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143 Part IV Poster Presentation Simulating Place/Transition Nets by a Distributed, Web Based, Stateless Service Jan Henrik Röwekamp, Matthias Feldmann, Daniel Moldt, Michael Simon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163