=Paper=
{{Paper
|id=Vol-1846/frontmatter
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1846/frontmatter.pdf
|volume=Vol-1846
}}
==None==
https://ceur-ws.org/Vol-1846/frontmatter.pdf
Preliminary Proceedings
»PNSE’17«
International Workshop on
Petri Nets and Software Engineering
Satellite event of the
38th International Conference on
Application and Theory of Petri Nets
and Concurrency
17th International Conference on
Application of Concurrency to
System Design
Zaragoza, Spain, June, 2017
Including the proceedings of the co-located event
»MoSEBIn’17«
International Workshop on
Modeling and Software Engineering in
Business and Industry
Editors: Daniel Moldt,
Lawrence Cabac and
Heiko Rölke
Proceedings of the International Workshop on
P etri
N ets and
S oftware
E ngineering
PNSE’17
Editors: Daniel Moldt,
Dirk Fahland,
Andreas Solti and
Laura García-Borgoñón
Proceedings of the International Workshop on
Mo deling and
S oftware
E ngineering in
B usiness and
In dustry
MoSEBIn’17
University of Hamburg
Department of Informatics
Compilation Editor:
Daniel Moldt
University of Hamburg
Department of Informatics
Vogt-Kölln-Str. 30
D-22527 Hamburg
Germany
http://www.pnse.de
http://www.Petri-Net.de
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.
Prefaces
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 Soft-
ware 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 Con-
currency 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/
PNSE’17 preface:
For the successful realization of complex systems of interacting and re-
active 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 uni-
form 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 math-
ematically 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.
MoSEBIn’17 preface:
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.
6 PNSE’17 – Petri Nets and Software Engineering
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 organiza-
tion 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!
Danial Moldt, Lawrence Cabac, Heiko Rölke
Hamburg, June 2017
Preface 7
PNSE’17 Program Committee
Elvio Gilberto Amparore (Italy)
Kamel Barkaoui (France)
Robin Bergenthum (Germany)
Didier Buchs (Switzerland)
Lawrence Cabac (Co-Chair) (Germany)
Piotr Chrzastowski-Wachtel (Poland)
Gianfranco Ciardo (USA)
José-Manuel Colom (Spain)
Jörg Desel (Germany)
Raymond Devillers (Belgium)
Giuliana Franceschinis (Italy)
Nicolas Guelfi (Luxembourg)
Stefan Haar (France)
Serge Haddad (France)
Xudong He (USA)
Kunihiko Hiraishi (Japan)
Gabriel Juhás (Slovakia)
Peter Kemper (USA)
Astrid Kiehn (India)
Hanna Klaudel (France)
Radek Koci (Czech republic)
Maciej Koutny (United Kingdom)
Lars Kristensen (Norway)
Michael Köhler-Bußmeier (Gemany)
Robert Lorenz (Germany)
Łukasz Mikulski (Poland)
Daniel Moldt (Co-Chair) (Germany)
Berndt Müller (Great Britain)
Wojciech Penczek (Poland)
Laure Petrucci (France)
Lucia Pomello (Italy)
Heiko Rölke (Co-Chair) (Germany)
P.S. Thiagarajan (USA)
Yann Thierry-Mieg (France)
Henricus M.W. (Eric) Verbeek (Netherlands)
Karsten Wolf (Germany)
8 PNSE’17 – Petri Nets and Software Engineering
MoSEBIn’17 Program Committee
María Alpuente (Spain)
Ahmed Awad (Egypt)
Bernhard Bauer (Germany)
Olivier Boissier (France)
Christine Choppy (France)
Claudio Di Ciccio (Austria)
M.J. Escalona (Spain)
Dirk Fahland (Co-Chair) (Netherlands)
Walid Fdhila (Austria)
Michael Felderer (Austria)
Luciano García-Bañuelos (Estonia)
Laura García-Borgoñón (Co-Chair) (Seville)
Holger Giese (Germany)
José González Enríquez (Spain)
Vincent Hilaire (France)
Lom Messan Hillah (France)
Benjamin Hirsch (United Arab Emirates)
Martin Kollingbaum (United Kingdom)
Gabriele Kotsis (Austria)
Maristella Matera (Italy)
Massimo Mecella (Italy)
Daniel Moldt (Co-Chair) (Germany)
Andreas Oberweis (Germany)
Andrea Omicini (Italy)
Pascal Poizat (France)
Mattia Salnitri (Italy)
Stefan Schönig (Germany)
Arik Senderovich (Israel)
Andreas Solti (Co-Chair) (Austria)
Ulrich Ultes-Nitsche (Switzerland)
Antonio Vallecillo (Spain)
Jan Martijn Van Der Werf (Netherlands)
Mathias Weske (Germany)
Manuel Wimmer (Austria)
Christian Zirpins (Germany)
Contents
Part I Invited Talks
Model-Driven Development of Performance Sensitive Cloud
Native Streaming Applications
José Ángel Bañares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Verification of Reconfigurable Petri Nets
Julia Padberg . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
Part II Long Presentations
Decision Diagrams for Petri Nets: which Variable Ordering?
Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio
Garbi and Andrew Miner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
On the Resource Equivalences in Petri nets with Invisible
Transitions
Vladimir A. Bashkin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
Compatibility Control of Asynchronous Communicating
Systems with Unbounded Buffers
D. Dahmani, M.C. Boukala, H. Mountassir and S. Chouali . . . . . . . . . . . . 69
Complexity Aspects of Web Services Composition
Karima Ennaoui, Lhouari Nourine and Farouk Toumani . . . . . . . . . . . . . . 85
GPU Computations and Memory Access Model Based on
Petri Nets
Anna Gogolińska, Łukasz Mikulski and Marcin Piątkowski . . . . . . . . . . . . . 105
Coloured Petri Nets Based Diagnosis on Causal Models
Soumia Mancer and Hammadi Bennoui . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
10 Contents
Simulating Multiple Formalisms Concurrently Based on
Reference Nets
Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz 137
Petri Net Inside RFID Database Integrated with RFID
Indoor Positioning System for Mobile Robots Position
Control
José Jean-Paul Zanlucchi de Sousa Tavares, Rodrigo Hiroshi
Murofushi, Lucas Henriques Silva and Gustavo Rezende Silva . . . . . . . . . . 157
Application of Model-based Testing on a Quorum-based
Distributed Storage
Rui Wang, Lars Michael Kristensen, Hein Meling and Volker Stolz . . . . . 177
A Tool Chain for Test-driven Development of Reference Net
Software Components in the Context of CAPA Agents
Martin Wincierz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197
Part III Short Papers
Modeling Reusable Concurrent Passive Entity Objects in
Colored Petri Nets
Rowland Pitts and Hassan Gomaa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 217
Part IV Poster Presentation
Towards a Systematic Model-driven Approach for the
Detection of Web Threats and Use Cases
Simona Bernardi, Raúl Piracés Alastuey, Alejandro Solanas Bonilla
and Raquel Trillo-Lado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225
Towards Verification of Connection-Aware Transaction
Models for Mobile Applications
Lars M. Kristensen, Gabriele Taentzer and Steffen Vaupel . . . . . . . . . . . . 227
Petri Net with RFID Distributed Database for Autonomous
Search and Rescue in Tracks and Crossings
João Paulo Da Silva Fonseca and Jose Jean-Paul Zanlucchi de Souza
Tavares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229
Part V MoSEBIn Paper
Modeling Mobile Agents in Vehicular Networks
Oscar Urra and Sergio Ilarri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 233