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|