| Vol-1591 urn:nbn:de:0074-1591-5 Copyright © 2016 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 2016
Petri Nets and Software Engineering

### Proceedings of the International Workshop on Petri Nets and Software Engineering 2016,
including the International Workshop on Biological Processes & Petri Nets 2016
co-located with the
37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and the
16th International Conference on Application of Concurrency to System Design ACSD 2016

### Toruń, Poland, June 20–21, 2016.

Edited by

### Lawrence Cabac *
Lars Michael Kristensen **
Heiko Rölke ***

* Department of Informatics, University of Hamburg, Germany
** Department of Computing, Mathematics, and Physics Bergen University College, Norway
*** DIPF (German Institute for International Educational Research), Germany

BibTeX for the PNSE'16 proceedings.

## Table of Contents

- Frontmatter 1-14

### Invited Talks

- Model-Driven Development of Mobile Applications: Towards Context-Aware Apps of High Quality 17-29
  Gabriele Taentzer, Steffen Vaupel
- Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology 30-32
  Yann Thierry-Mieg

### Long Presentations

- Time in Structured Occurrence Nets 35-55
  Anirban Bhattacharyya, Bowen Li, Brian Randell
- Formal Modelling and Analysis of Distributed Storage Systems 56-75
  Jordan de la Houssaye, Franck Pommereau, Philippe Deniel
- Introducing Refactoring for Reference Nets 76-92
  Max Friedrich, Daniel Moldt
- Verification of Nested Petri Nets Using an Unfolding Approach 93-112
  Irina A. Lomazova, Vera O. Ermakova
- Practical Use of Coloured Petri Nets for the Design and Performance Assessment of Distributed Automation Architectures 113-131
  Moulaye Ndiaye, Jean-François Pétin, Jean-Philippe Georges, Jacques Camerini
- Kleene Theorem for Labelled Free Choice Nets without Distributed Choice 132-152
  Ramchandra Phawade
- Distributed Change Region Detection in Dynamic Evolution of Fragmented Processes 153-172
  Ahana Pradhan, Rushikesh K. Joshi
- Extending Renew's Algorithms for Distributed Simulation 173-192
  Michael Simon, Daniel Moldt
- Model-based Development for MAC Protocols in Industrial Wireless Sensor Networks 193-212
  Admar Ajith Kumar Somappa, Kent Inge Fagerland Simonsen
- Stubborn Set Intuition Explained 213-232
  Antti Valmari, Henri Hansen
- Decomposed Replay Using Hiding and Reduction 233-252
  Henricus M.W. Verbeek

### Short Presentations

- Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm 255-274
  Camille Coti, Charles Lakos, Laure Petrucci
- Refining the Quick Fix for the Petri Net Modeling Tool Renew 275-286
  Jan Hicken, Michael Haustermann, Daniel Moldt
- Layered Data: A Modular Formal Definition without Formalisms 287-306
  Alban Linard, Benoît Barbot, Didier Buchs, Maximilien Colange, Clément Démoulins, Lom Messan Hillah, Alexis Martin
- From eHornets to Hybrid Agent and Workflow Systems 307-326
  Thomas Wagner, Daniel Moldt, Michael Köhler-Bußmeier

### Short Papers

- A Framework for Fast Congestion Detection in Wireless Sensor Networks Using Clustering and Petri-Net-based Verification 329-334
  Khanh Le, Thang Bui, Tho Quan, Laure Petrucci
- CSCB Tools: A Tool to Synthesize Pareto Optimal State Machine Models from Choreography Using Petri Nets 335-340
  Toshiyuki Miyamoto

### Poster Presentation

- Case Studies of the Renew Meta-Modeling and Transformation Framework 343-344
  David Mosteller, Michael Haustermann

### BioPPN Papers (BioPPN 2016)

- Analysis of the Signal Transduction Dynamics Regulating mTOR with Mathematical Modeling, Petri Nets and Dynamic Graphs 347-361
  Simon V. Hardy, Mathieu Pagé Fortin
- Discrete-Time Leap Method for Stochastic Simulation 362-376
  Christian Rohr

2016-06-20: submitted by Lawrence Cabac, metadata incl. bibliographic data published under Creative Commons CC0
2016-06-21: published on CEUR-WS.org |valid HTML5|