AWPN 2008
15. Workshop
Algorithmen und Werkzeuge für Petrinetze
26./27. September 2008
Universität Rostock
Übersicht und Aktuelles
Beiträge
Programm
Tagungsort
Anmeldung und Kontakt |
Programm
Freitag, 26. September 2008
| 13:00 |
Begrüßung, Kaffee, Kekse |
| 13:30 |
Finding Cost-Efficient Adapters
Christian Gierds |
| 14:00 |
A Janus-Faced Net Component for the Prototyping of Open Systems
Matthias Wester-Ebbinghaus, Daniel Moldt |
| 14:30 |
Transient Analysis of Stochastic Petri Nets With
Interval Decision Diagrams
Martin Schwarick |
| 15:00 |
Kaffeepause |
| 15:30 |
Oclets – Scenario-Based Modeling with Petri Nets
Dirk Fahland |
| 16:00 |
EWFN – A Petri Net Dialect for Tuplespace-Based Workflow
Enactment
Daniel Martin, Daniel Wutke, Frank Leymann |
| 16:30 |
WoPeD 2.0 goes BPEL 2.0
Andreas Eckleder, Thomas Freytag |
| 17:00 |
Kaffeepause |
| 17:30 |
On Synthesizing Behavior that Is Aware of Semantical
Constraints
Karsten Wolf |
| 18:00 |
Synthesis of Petri Nets from Infinite Partial Languages
with VipTool
Robin Bergenthum, Sebastian Mauser |
| 18:30 |
Towards Synthesis of Petri Nets from General Partial
Languages
Robert Lorenz |
| 19:00 |
GI-Fachgruppentreffen |
| 20:00 |
Gemeinsames Abendessen im Stadthafen |
Samstag, 27. September 2008
| 9:00 |
Ein Petrinetz-Modell zur Informationsübertragung per
Dialog
Markus Huber, Christian Kölbl, Robert Lorenz, Günther Wirsching |
| 9:30 |
Editing Workflows in a Distributed Software Development
Environment
Kolja Markwardt, Daniel Moldt |
| 10:00 |
Adding Runtime Net Manipulation Features to MULANVIEWER
Jan Schlüter, Lawrence Cabac, Daniel Moldt |
| 10:30 |
ImageNetDiff: A Visual Aid to Support the Discovery of
Differences in Petri Nets
Lawrence Cabac, Jan Schlüter |
| 11:00 |
Kaffeepause |
| 11:30 |
FIONA: A Tool to Analyze Interacting Open Nets
Peter Massuthe, Daniela Weinberg |
| 12:00 |
Decompositional Calculation of Operating Guidelines
Using Free Choice Conflicts
Niels Lohmann |
| 12:30 |
An Approach to Tackle Livelock-Freedom in SOA
Chistian Stahl, Karsten Wolf |
| 13:00 |
Ende des Workshops |
Die Beiträge wurden als technischer Bericht der Universität Rostock und
als CEUR-Workshop-Proceedings
veröffentlicht.
zurück zum Seitenanfang
|