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.

• OOCPN (Moldt), Werkzeug: Design/CPN, CPNTools
• (L)OOPN (Lakos)
• PNTalk (Janousek und Vojnar), Werkzeug: PNTalk96
• CO-OPN/2 (Biberstein, Buchs und Guelfi), Werkzeug: CO-OPN Builder
• G-Nets (Figueiredo und Perkusich), Modellierung von Agenten
  Weiterentwicklung der Agentenmodellierung von Xu und Shatz, kein Werkzeug, aber Java-Agenten-Framework ADK
• Cooperative Nets (Sibertin-Blanc),
  übertragen auf Agenten (Chainbi, Hanachi, und Sibertin-Blanc),
  erweitert zu Multiagentennetzen (Miyamoto und Kumagai)
• Elementare Objektsysteme (Valk)
  Wert-, Referenz- und Prozesssemantik (Valk und Köhler)
• FS-Netze (Wienberg), Werkzeug: ältere Versionen von Renew (max. 1.6)
• Java-Referenznetze (Kummer), Werkzeug: Renew
• Mulan (Rölke) Werkzeug: Renew

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

Literatur

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.)

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.