|
AWPN 2006 – P R O G R A M M (vorläufig) 13. Workshop „Algorithms and Tools for Petri Nets“ – Room: C -221 13. Workshop „Algorithmen und Werkzeuge für Petrinetze“ 25.
- 26. September 2006, University of Hamburg - |
|||
|
25.09.06 |
|
|
|
|
12:30 |
L u n c h |
||
|
13:15 |
Reception |
Handout of proceedings |
|
|
13:50 |
Opening |
|
|
|
14:00 |
Robin Bergenthum, Robert Lorenz, Sebastian Mauser, Eichstätt |
Synthese von S/T-Netzen aus unendlichen partiellen Sprachen |
|
|
14:30 |
Heiko Rölke, Hamburg |
3-D Petrinetze |
|
|
15:00 |
Stephan Philippi, Koblenz, Alexander Pinl, Koblenz, Jörg R. Müller, Roman Slovák, Braunschweig |
Towards tool support for the formally based analysis of safetycritical systems with Petri-Nets |
|
|
15:30 – 16:00 |
Coffee / Tea |
||
|
16:00 |
Michael Köhler, Hamburg |
Algebraische Erweiterung von Objektnetzen |
|
|
16:30 |
Robin Bergenthum, Robert Lorenz, Sebastian Mauser, Eichstätt-Ingoldstadt |
Zur Synthese von Inhibitor-Netzen aus geschichteten Ordnungsstrukturen |
|
|
17:00 |
Lawrence Cabac, Nicolas Knaak, Daniel Moldt, Hamburg |
Net Components for the Modeling of Process Mining Chains |
|
|
17:30 |
Coffee / Tea |
||
|
17:45
Fachgruppentreffen |
|
||
|
Restaurant |
|||
|
26.09.06 |
|
|
|
|
8:45 |
Bernd
Wolfinger, Hamburg |
Modellierung,
formale Beschreibung und Generierung |
|
|
9:30 |
Frank Wienberg, CoreMedia AG; Michael Duvigneau, Heiko Rölke, Hamburg |
Informal Introduction to the Feature Structure Nets Tool - A Tool for Process and Information Modeling |
|
|
10:00 |
Christian Flender, Queensland; Thomas Freytag, Karlsruhe |
Visualizing the Soundness of Workflow Nets |
|
|
10:30 – 10:50 |
Coffee / Tea |
||
|
10:50 |
Arne von Drathen, Felix Hackbarth, TU Hamburg-Harburg |
Petri2PLC und NetEd: SPS-Programmierung mit zeitbehafteten Petrinetzen |
|
|
11:20 |
Manfred Kudlek, Roxana Dietze, Hamburg |
Subclasses of Minimal Based Object Nets with Decidable Reachability Problem |
|
|
11:50 |
Stefanie Betz, Thomas Karle, Stefan Klink, Agnes Koschmider, Yu Li, Marco Mevius, Andreas Oberweis, Daniel Ried, Ralph Trunko, Markus Zaich, Karlsruhe |
Ein Framework zur Modellierung und Analyse von XML-Netzen |
|
|
12:20-12:40 |
Coffee / Tea |
||
|
12:40 |
Heiko Rölke und Matthias Wester-Ebbinghaus, Hamburg |
Agentenbasierte Petrinetzsimulation - Ein teambasierter Ansatz |
|
|
13:10 |
Kathrin Kaschner, Rostock; Peter Massuthe, Berlin, Karsten Wolf, Rostock |
Symbolische Repräsentation von Bedienungsanleitungen für Services |
|
|
13:40 |
Closing session |
|
|
|
13:50 – L u n c h |
|||
|
|
|
|
|