TGI-Lehre WWW
 
Kontakt | Index | Suche | Rundgang | English

Petrinetze

Seminar

Veranstalter: Michael Duvigneau

Diese Seite enthält Material und zusätzliche Informationen zum Seminar "Petrinetze" (18.412) im Sommersemester 2005 (KVV-Text).
Termin: Do 10-12, C-221.



Inhalt

Gegenstand dieses Seminars sollen -- als Konkretisierung der allgemeinen Ankündigung -- höhere Petrinetzformalismen sein, wobei der Schwerpunkt auf Formalismen mit Bezug zur Objekt- oder Agentenorientierung liegt. Von Interesse sind vor allem solche Formalismen, zu denen auch eine Werkzeugunterstützung angeboten wird, so dass die Vorträge durch Demonstrationen ergänzt werden können.

Die hier angegebene Liste möglicher Themen ist keineswegs vollständig, eigene Vorschläge von den Teilnehmern werden gerne angenommen.

Literatur

Zu vielen der Formalismen finden sich Überblickspapiere im Sammelband
Gul Agha, Fiorella De Cindio, and Grzegorz Rozenberg, editors.
Advances in Petri Nets: Concurrent Object-Oriented Programming and Petri Nets.
Number 2001 in Lecture Notes in Computer Science.
Springer-Verlag, Berlin, Heidelberg, New York, 2001.
(Von der Universität aus auch online verfügbar.)
Weitere Literatur wird in der Veranstaltung bekanntgegeben.

Vorgehen

Abweichend von der Ankündigung im KVV werden wir uns einige der oben genannten Formalismen gemeinsam auf der Basis von veröffentlichten Forschungspapieren erarbeiten. An den Seminarterminen werden wir einzelne Papiere besprechen, die zuvor von allen Teilnehmern gelesen wurden. Bei Interesse oder Bedarf können einzelne Teilnehmer ein Papier für einen Termin vorbereiten und vorstellen.

Die Folien des Einführungsvortrags (inklusive Literaturverzeichnis) finden sich hier. Hinweis: Die in den Folien vorgestellte Vorgehensweise ist nicht mehr aktuell, es gilt die oben beschriebene Variante.


Korrekturen, Anmerkungen bitte an  Michael Duvigneau
Last modified: Thu Apr 7 12:56:39 CEST 2005
http://www2.informatik.uni-hamburg.de/tgi/lehre/vl/SS05/pn/pn.html