AWPN 2007

Ort: E-Gebäude, Raum E312 und E313
Zeit	Vortragender	Thema
12:30	Registrierung
13:15	Hagen Völzer	Analysis of workflow graphs through SESE decomposition (Invited Talk)
13:45	Enrico Biermann	A Visual Editor for Reconfigurable Object Nets based on the ECLIPSE Graphical Editor Framework
14:15	Kurze Pause
14:30	Ronny Richter	Snoopy - A Tool to Design and Animate/Simulate Graph-Based Formalisms
15:00	Alexander und Markus Pinl, Jan Poganski	Aspekte der Modularität und Flexibilität in NeMo (ToMASEn)
15:30	Pause, Werkzeugdemonstrationen
16:15	Ekkart Kindler	Modular PNML revisited: Some ideas for strict typing
16:45	Karsten Wolf	Cooperative Interaction with a Multi-Partner Service
17:15	Heiko Rölke	Automaten- und Petrinetzmodelle für die Darstellung und Analyse von Itembanken für computerbasiertes Testen
17:45	Pause, Werkzeugdemonstrationen
18:00	GI-Fachgruppentreffen
ab 19:30	Social Event

Zeit	Vortragender	Thema
09:00	Daniel Moldt	Ein Vorschlag zur Modellierung von Ultra Large Scale Systems
09:30	Sebastian Mauser	Towards Applicability of Language Based Synthesis for Process Mining
10:00	Kurze Pause
10:15	Jan Ortmann	Strukturelle Analyse zyklenfreier Workflownetze
10:45	Manfred Kudlek	Finite Automata Controlled by Petri Nets
11:15	Pause
11:45	Robin Bergenthum	Faster Unfolding of General Petri Nets
12:15	Dirk Fahland	Synthesizing Petri Nets
12:45	Ende der AWPN 2007

Editor: Alexander Pinl - last update: 06.09.2007