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
(0.0.1 Petrinetze und verwandte Systemmodelle)


Restaurant

26.09.06



8:45

Bernd Wolfinger, Hamburg
(invited talk)

Modellierung, formale Beschreibung und Generierung
multimedialer (Verkehrs-)Lasten in Rechnernetzen

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