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

Modeling

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

Analysis and Synthesis

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

Tools

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