[CEUR Workshop Proceedings] 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

    Invited Talks

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

    2. 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

    10. 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

    14. 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