Seminar (SEM)


Veranstaltungs-Nr.:18.420 (SoSe 2007)
Titel:Petrinetze
Veranstalter:Daniel Moldt
Zeit / Ort:2 st. Do. 12-14 C-221
-
Inhalt:Verschiedene Aspekte (höherer) Petrinetzformalismen werden anhand von Einzelvorträgen erarbeitet. Das Spektrum unfaßt u.a. aktuelle Arbeiten zu den Themen:
  • Varianten der Schaltregel
  • Netzklassen
  • Algorithmische Probleme
  • Algebraische Erweiterungen von Petrinetzen
  • Petrinetze und logische Kalküle (z.B. Prädikaten-Transitions-Netze)
  • Petrinetze und der Begriff der Zeit
  • Dynamische Petrinetzstrukturen / Netze in Netzen
  • Erweiterungen von Petrinetzen
  • Abstraktionsmechanismen
  • Modellierungsalternativen
  • Verwendbarkeit in der Software-Entwicklung
  • Modellierungsmuster
  • Architekturmodellierung
  • Anwendungsbereiche: Workflow, Flexible Fertigung, Web Engineering, E-Learning
  • Werkzeuge
Lernziel:Kennenlernen des Gebietes, Erlernen der Benutzung theoretisch fundierter Methoden. Durch das Bearbeiten und Lesen von Originalartikeln soll der Umgang mit wissenschaftlicher Literatur geübt werden. Gleichzeitig gewinnt der/die Studierende einen Einblick in die Richtungen und Ideen, die in der Theorie und Anwendung der Petrinetze untersucht werden. Kennenlernen formaler Methoden und deren konkrete Verwendung im Zusammenhang mit Petrinetzen.
Stell. im Studienplan:Hauptstudium, Bachelor (3 LP); Vertiefungsgebiete P5, Th3, Th2, A1, P2, A2, Th4, Th1, P1, P6, P3; Schwerpunkte OSE, IM, INE, VIS, SEM, WV; Modul IP12
Voraussetzungen:Vordiplom, oder 4. Semester BSc Informatik
Vorgehen:Einführung durch den Veranstalter, dann Eigenstudium und Vorbereitung der Seminarvorträge und Tischvorlagen bzw. kleiner Seminarausarbeitungen auch in Kleingruppenarbeit. Gestaltung des Seminartermins durch Vortrag und Diskussion, auch unter Leitung der Teilnehmer(innen). Studierende nach der neuen Studienordnung können in dieser Veranstaltung einen Seminarschein erlangen.
Verwendbarkeit:Das Seminar kann im Bachelor als Ergänzung zum geplanten AOSE-Projekt im nächsten WS verwendet werden.
Literatur:W.Reisig: Petrinetze, Eine Einführung (Springer-Verlag, 1986),
K.Jensen: Coloured Petri Nets (EATCS-Monographs, 1992),
F. Bause/P.S.Kritzinger: Stochastic Petri Nets (Vieweg, 1996).
Weitere Literatur wird in der Veranstaltung bekanntgegeben.
Periodizität:jährlich zum SS
Sprache:Deutsch
Eignung:Geeignet für Lehramtsstudierende, Nebenfachstudierende, Bioinformatikstudierende, Wirtschaftsinformatikstudierende.
Stichworte:Workflow, Modellierung, Programmierung, Abstraktion, Petrinetze, Softwaretechnik, Algebraische Methoden, Logik

Impressum