17th International Conference on Application of Concurrency to System Design Including the proceedings of the co-located event International Workshop on Modeling and Software Engineering in Business and Industry
Proceedings of the International Workshop on
PNSE’17
S oftware E ngineering in B usiness and In dustry
MoSEBIn’17 These proceedings are published online by the editors as Volume 1846 at CEUR Workshop Proceedings ISSN 1613-0073 http://ceur-ws.org/Vol-1846/ 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’17) in Zaragoza, Spain, June 25–26, 2017 which also includes the papers of the International Workshop on Modeling and Software Engineering in Business and Industry (MoSEBIn’17). Both workshops are co-located events of • Petri Nets 2017 – the 38th International Conference on Applications and
Theory of Petri Nets and Concurrency and • ACSD 2017 – the 17th 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/pnse17/ and http://www.informatik.uni-hamburg.de/TGI/events/mosebin17/
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.
The workshop is a forum for those interested in modeling, especially of, for and within business and industry environments. Business and industry environments are important and relevant application domains for modeling and software engineering. Both academics and practitioners can contribute and learn from such a meeting. The fundamental interest is to understand modeling within this area and what environments and applications actually demand from modelers and software engineers.
Communication between users and software engineers is based on models, therefore, the transformation from application domain models to computer science is a major task that we want to discuss during the workshop from many perspectives. Furthermore, software engineering for business and industry has to provide solutions that have to fit special needs of the people in these fields. The mutual dependencies, services, requirements, expectations, solutions etc. between software engineers and business people / people from industry shall be discussed during the workshop.
Last but not least in the context of any organisational institution the roles of modeling within software engineering and how to use software engineering for modeling can also be addressed from various perspectives.
For both workshops we have chosen José Ángel Bañares and Julia Padberg as invited speakers. We received eighteen high-quality contributions for these proceedings. The program now consists of ten full papers, two short papers, three poster contributions and two invited talks.
The international program committee of PNSE’17 was supported by the valued work of Alfredo Capozucca, Stefan Klikovits, Artur Niewiadomski, Marcin Piątkowski and Benoît Ries as additional reviewers. Their valuable work is highly appreciated.
Furthermore, we would like to thank our colleagues in the local organization team at the Aragón Institute of Engineering Research (I3A), Zaragoza University, Spain for their support.
The organzational/technical work in Hamburg was supported by Louis Kobras, Michael Haustermann 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’17 Program Committee
José Ángel Bañares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Karima Ennaoui, Lhouari Nourine and Farouk Toumani . . . . . . . . . . . . . . 85
Anna Gogolińska, Łukasz Mikulski and Marcin Piątkowski . . . . . . . . . . . . . 105
Soumia Mancer and Hammadi Bennoui . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz 137
José Jean-Paul Zanlucchi de Sousa Tavares, Rodrigo Hiroshi Murofushi, Lucas Henriques Silva and Gustavo Rezende Silva . . . . . . . . . . 157
Rui Wang, Lars Michael Kristensen, Hein Meling and Volker Stolz . . . . . 177
Martin Wincierz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197
Rowland Pitts and Hassan Gomaa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 217
Simona Bernardi, Raúl Piracés Alastuey, Alejandro Solanas Bonilla and Raquel Trillo-Lado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225
Lars M. Kristensen, Gabriele Taentzer and Steffen Vaupel . . . . . . . . . . . . 227
João Paulo Da Silva Fonseca and Jose Jean-Paul Zanlucchi de Souza Tavares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229
Oscar Urra and Sergio Ilarri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 233