- Frontmatter 1-8

### Invited Talks

- What Should we Teach About Petri Nets? 11-12
  Wolfgang Reisig

### Long Presentations

- Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets 15-31
  Agata Janowska, Wojciech Penczek, Agata Półrola, Andrzej Zbrzezny
- Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification 32-46
  Michael Westergaard, Dirk Fahland, Christian Stahl
- When Can We Trust a Third Party? - A Soundness Perspective 47-59
  Kees van Hee, Natalia Sidorova, Jan Martijn van der Werf
- Modeling and Analyzing Wireless Sensor Networks with VeriSensor 60-76
  Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg
- SMT-based parameter synthesis for L/U automata 77-92
  Michał Knapik, Wojciech Penczek
- Model-Driven Middleware Support for Team-Oriented Process Management 93-108
  Matthias Wester-Ebbinghaus, Michael Köhler-Bußmeier
- From Code to Coloured Petri Nets: Modelling Guidelines 109-124
  Anna Dedova, Laure Petrucci
- Hierarchy of persistency with respect to the length of actions disability 125-138
  Kamila Agata Barylska, Edward Ochmański

### Short Presentations

- Local state refinement on Elementary Net Systems: an approach based on morphisms 141-155
  Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello
- Context Petri Nets: Enabling Consistent Composition of Context-dependent Behavior 156-170
  Nicolás Cardozo, Jorge Vallejos, Sebastián González, Kim Mens, Theo D'Hondt
- MuPSi - a multitouch Petri net simulator for transition steps 171-181
  Thomas Irgang, Andreas Harrer, Robin Bergenthum
- PetriPad A Collaborative Petri Net Editor 182-196
  Julian Burkhart, Michael Haustermann

### Poster Abstracts

- Agentworkflows for Flexible Workflow Execution 199-214
  Thomas Wagner
- Cloud Transition: Integrating Cloud Calls into Workflow Petri Nets 215-216
  Sofiane Bendoukha, Thomas Wagner
- A Concurrent Simulator for Petri Nets Based on the Paradigm of Actors of Hewitt 217-221
  Luca Bernardinello, Francesco Adalberto Bianchi
- A Petri Net Approach to Synthesize Intelligible State Machine Models from Choreography 222-236
  Toshiyuki Miyamoto, Yasuwo Hasegawa
- SYNOPS - Generation of Partial Languages and Synthesis of Petri Nets 237-252
  Robert Lorenz, Markus Huber, Christoph Etzel, Dan Zecha
- Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study 253-266
  Radek Kocí, Vladimír Janousek
- Porting the Renew Petri Net Simulator to the Operating System Android 267-268
  Dominic Dibbern
- SonarEditor: A Tool for Multi-Agent-Organizations Modelling 269-270
  Jan Bolte