15. AWPN 2008: Rostock, Germany

Niels Lohmann, Karsten Wolf (Eds.): 15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen und Werkzeuge für Petrinetze, AWPN 2008, Rostock, Germany, September 26-27, 2008. Proceedings. CEUR Workshop Proceedings 380 CEUR-WS.org 2008 BibTeX

Modeling

Dirk Fahland:
Oclets - Scenario-Based Modeling with Petri Nets. 1-6
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Daniel Martin, Daniel Wutke, Frank Leymann:
EWFN - A Petri Net Dialect for Tuplespace-Based Workflow Enactment. 7-14
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Markus Huber, Christian Kölbl, Robert Lorenz, Günther Wirsching:
Ein Petrinetz-Modell zur Informationsübertragung per Dialog. 15-24
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Matthias Wester-Ebbinghaus, Daniel Moldt:
A Janus-Faced Net Component for the Prototyping of Open Systems. 25-30
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Kolja Markwardt, Daniel Moldt, Jan Ortmann:
Proposal for Editing Workflows in a Distributed Software Development Environment. 31-36
Electronic Edition (CEUR Workshop Proceedings) BibTeX

Analysis and Synthesis

Christian Gierds:
Finding Cost-Efficient Adapters. 37-42
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Martin Schwarick:
Transient Analysis of Stochastic Petri Nets With Interval Decision Diagrams. 43-48
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Karsten Wolf:
On Synthesizing Behavior that Is Aware of Semantical Constraints. 49-54
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Robert Lorenz:
Towards Synthesis of Petri Nets from General Partial Languages. 55-62
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Niels Lohmann:
Decompositional Calculation of Operating Guidelines Using Free Choice Conflicts. 63-68
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Christian Stahl, Karsten Wolf:
An Approach to Tackle Livelock-Freedom in SOA. 69-74
Electronic Edition (CEUR Workshop Proceedings) BibTeX

Tools

Andreas Eckleder, Thomas Freytag:
WoPeD 2.0 goes BPEL 2.0. 75-80
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Robin Bergenthum, Sebastian Mauser:
Synthesis of Petri Nets from Infinite Partial Languages with VipTool. 81-86
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Jan Schlüter, Lawrence Cabac, Daniel Moldt:
Adding Runtime Net Manipulation Features to MulanViewer. 87-92
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Lawrence Cabac, Jan Schlüter:
ImageNetDiff: A Visual Aid to Support the Discovery of Differences in Petri Nets. 93-98
Electronic Edition (CEUR Workshop Proceedings) BibTeX
Peter Massuthe, Daniela Weinberg:
Fiona: A Tool to Analyze Interacting Open Nets. 99-104
Electronic Edition (CEUR Workshop Proceedings) BibTeX