- 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

- 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