[CEUR Workshop Proceedings] Vol-851

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.

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

    Invited Talks

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

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

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

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