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