| Vol-851 urn:nbn:de:0074-851-7 Copyright © 2012 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# PNSE-2012
Petri Nets and Software Engineering 2012

### Proceedings of the International Workshop on Petri Nets and Software Engineering

### Hamburg, Germany, June 25-26, 2012.

Edited by

### Lawrence Cabac *
Michael Duvigneau *
Daniel Moldt *

* University of Hamburg, Department of Informatics, 22527 Hamburg, Germany

PNSE'12 proceedings as a single volume.
BibTeX for the PNSE'12 proceedings.

## Table of Contents

- Frontmatter 1-7

### Invited Talks

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

### Long Presentations

2. Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets 15-31
   Agata Janowska, Wojciech Penczek, Agata Półrola, Andrzej Zbrzezny
3. 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
4. When Can We Trust a Third Party? - A Soundness Perspective 47-59
   Kees van Hee, Natalia Sidorova, Jan Martijn van der Werf
5. Modeling and Analyzing Wireless Sensor Networks with VeriSensor 60-76
   Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg
6. SMT-based parameter synthesis for L/U automata 77-92
   Michał Knapik, Wojciech Penczek
7. Model-Driven Middleware Support for Team-Oriented Process Management 93-108
   Matthias Wester-Ebbinghaus, Michael Köhler-Bußmeier
8. From Code to Coloured Petri Nets: Modelling Guidelines 109-124
   Anna Dedova, Laure Petrucci
9. Hierarchy of persistency with respect to the length of actions disability 125-137
   Kamila Agata Barylska, Edward Ochmański

### Short Presentations

10. Local state refinement on Elementary Net Systems: an approach based on morphisms 141-155
    Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello
11. 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
12. MuPSi - a multitouch Petri net simulator for transition steps 171-181
    Thomas Irgang, Andreas Harrer, Robin Bergenthum
13. PetriPad A Collaborative Petri Net Editor 182-196
    Julian Burkhart, Michael Haustermann

### Poster Abstracts

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

26-Jun-2012: submitted by Michael Duvigneau
26-Jun-2012: published on CEUR-WS.org