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|