| Vol-1846 urn:nbn:de:0074-1846-1 Copyright © 2017 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 2017
Petri Nets and Software Engineering

### Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17),
co-located with the
38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the
17th International Conference on Application of Concurrency to System Design ACSD 2017

### Zaragoza, Spain, June 25–30, 2017.

Edited by

### Daniel Moldt *
Lawrence Cabac *
Heiko Rölke **

* Department of Informatics, University of Hamburg, Germany
** DIPF (German Institute for International Educational Research), Germany

Complete proceedings in one ZIP file
PNSE'17 proceedings as a single volume.
BibTeX for the PNSE'17 proceedings.

## Table of Contents

- Frontmatter 1-10

### Invited Talks

- Model-Driven Development of Performance Sensitive Cloud Native Streaming Applications 13-26
  José Ángel Bañares
- Verification of Reconfigurable Petri Nets 27-28
  Julia Padberg

### Long Presentations

- Decision Diagrams for Petri Nets: Which Variable Ordering? 31-50
  Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew Miner
- On the Resource Equivalences in Petri nets with Invisible Transitions 51-68
  Vladimir A. Bashkin
- Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers 69-84
  D. Dahmani, M.C. Boukala, H. Mountassir, S. Chouali
- Complexity Aspects of Web Services Composition 85-104
  Karima Ennaoui, Lhouari Nourine, Farouk Toumani
- GPU Computations and Memory Access Model Based on Petri Nets 105-122
  Anna Gogolińska, Lukasz Mikulski, Marcin Piatkowski
- Coloured Petri Nets Based Diagnosis on Causal Models 123-136
  Soumia Mancer, Hammadi Bennoui
- Simulating Multiple Formalisms Concurrently Based on Reference Nets 137-156
  Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz
- Petri Net Inside RFID Database Integrated with RFID Indoor Positioning System for Mobile Robots Position Control 157-176
  José Jean-Paul Zanlucchi de Sousa Tavares, Rodrigo Hiroshi Murofushi, Lucas Henriques Silva, Gustavo Rezende Silva
- Application of Model-based Testing on a Quorum-based Distributed Storage 177-196
  Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
- A Tool Chain for Test-driven Development of Reference Net Software Components in the Context of CAPA Agents 197-214
  Martin Wincierz

### Short Papers

- Modeling Reusable Concurrent Passive Entity Objects in Colored Petri Nets 217-222
  Rowland Pitts, Hassan Gomaa

### Poster Presentation

- Towards a Systematic Model-driven Approach for the Detection of Web Threats and Use Cases 225-226
  Simona Bernardi, Raúl Piracés Alastuey, Alejandro Solanas Bonilla, Raquel Trillo-Lado
- Towards Verification of Connection-Aware Transaction Models for Mobile Applications 227-228
  Lars M. Kristensen, Gabriele Taentzer, Steffen Vaupel
- Petri Net with RFID Distributed Database for Autonomous Search and Rescue in Tracks and Crossings 229-230
  João Paulo Da Silva Fonseca, Jose Jean-Paul Zanlucchi de Souza Tavares

### MoSEBIn Paper

- Modeling Mobile Agents in Vehicular Networks 233-238
  Oscar Urra, Sergio Ilarri

2017-07-04: submitted by Daniel Moldt, metadata incl. bibliographic data published under Creative Commons CC0
2017-07-04: published on CEUR-WS.org |valid HTML5|