| Vol-1372 urn:nbn:de:0074-1372-0 Copyright © 2015 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 2015
Petri Nets and Software Engineering

### Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15),
including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (ADECS 2015)
A satellite event of the conferences:
36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and
15th International Conference on Application of Concurrency to System Design ACSD 2015

### Brussels, Belgium, June 22–23, 2015.

Edited by

### Daniel Moldt *
Heiko Rölke **
Harald Störrle ***

* University of Hamburg, Department of Informatics, 22527 Hamburg, Germany
** DIPF (German Institute for International Educational Research), Germany
*** Technical University of Denmark, 2800 Kgs. Lyngby, Denmark

PNSE'15 proceedings as a single volume.
BibTeX for the PNSE'15 proceedings.

## Table of Contents

- Frontmatter 1-14

### Invited Talks

- Software Engineering and Modeling Education: Problems and Solutions 17
  Nicolas Guelfi
- Awareness and Control in Adaptable Transition Systems 19-21
  Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin

### Long Presentations

- Unifying Patterns for Modelling Timed Relationships in Systems and Properties 25-40
  Étienne André, Laure Petrucci
- Negotiations and Petri Nets 41-57
  Jörg Desel, Javier Esparza
- Non-Interference Notions Based on Reveals and Excludes Relations for Petri Nets 59-78
  Luca Bernardinello, Görkem Kılınç, Lucia Pomello
- Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification 79-98
  Kent Inge Fagerland Simonsen, Lars M. Kristensen, Ekkart Kindler
- Providing Petri Net-Based Semantics in Model Driven-Development for the Renew Meta-Modeling Framework 99-114
  David Mosteller, Lawrence Cabac, Michael Haustermann
- Validating DCCP Simultaneous Feature Negotiation Procedure 115-132
  Somsak Vanit-Anunchai
- Dynamic Software Architecture for Distributed Embedded Control Systems 133-150
  Tomáš Richta, Vladimír Janoušek, Radek Kočí

### Short Presentations

- Reengineering the Editor of the GreatSPN Framework 153-170
  Elvio Gilberto Amparore
- Improving Performance of Complex Workflows: Investigating Moving Net Execution to the Cloud 171-189
  Sofiane Bendoukha, Thomas Wagner
- Modelling the Behaviour of Management Operations in Cloud-based Applications 191-205
  Antonio Brogi, Andrea Canciani, Jacopo Soldani, Pengwei Wang
- Unfolding CSPT-nets 207-226
  Bowen Li, Maciej Koutny
- Discovery of Functional Architectures From Event Logs 227-243
  Jan Martijn van der Werf, Erwin Kaats
- Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation 245-265
  Elisabeth Pelz, Abderraouf Kabouche, Louchka Popova-Zeugmann
- Lookahead Consistency Models for Dynamic Migration of Workflow Processes 267-286
  Ahana Pradhan, Rushikesh K. Joshi
- Catalog-based Token Transportation in Acyclic Block-Structured WF-nets 287-307
  Ahana Pradhan, Rushikesh K. Joshi

### Poster Abstracts

- De-Materializing Local Public Administration Processes 311-312
  Giancarlo Ballauco, Paolo Ceravolo, Ernesto Damiani, Fulvio Frati, Francesco Zavatarelli
- Renew -- The Reference Net Workshop 313-314
  Lawrence Cabac, Michael Haustermann, David Mosteller
- Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification 315-316
  Camille Coti, Sami Evangelista, Kais Klai
- Introducing the Quick Fix for the Petri Net Modeling Tool Renew 317-318
  Jan Hicken, Lawrence Cabac, Michael Haustermann
- Process-oriented Worksheets for the Support of Teaching Projects 319-320
  Dennis Schmitz, Lawrence Cabac
- Integrating Network Technique into Distributed Agent-Oriented Software Development Projects 321-322
  Christian Röder, Lawrence Cabac
- Applying Petri Nets to Approximation of the Euclidean Distance with the Example of SIFT 323-324
  Jan Henrik Röwekamp, Michael Haustermann
- Coordination Rules Generation from Coloured Petri Net Models 325-326
  Adja Ndeye Sylla, Maxime Louvel, François Pacull

2015-07-03: submitted by Daniel Moldt
2015-07-07: published on CEUR-WS.org |valid HTML5|