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|