Proseminar: Petrinetze
|
|
|
|
Veranstaltungsnummer: 18.059
Titel: Proseminar: Petrinetze
Veranstalter: Daniel Moldt
Ort und Zeit: Mi 10-12 E-105
Lernziel:
- Erarbeiten eines klar umrissenen Themas;
- Halten eines Vortrags und Führen einer fachlichen Diskussion
- Kennenlernen eines Modellierungsmittels zur Softwareentwicklung
- Grundlegende Erweiterung des bisherigen Modellbegriffs um Nebenläufigkeit
Inhalt:
Petrinetze stellen ein wichtiges Hilfsmittel zur Spezifikation, Beschreibung und Analyse von Informatik-Systemen dar. Ihre Hauptvorteile sind:
- einfaches Konzept
- graphische Darstellung
- natürliche Behandlung von Nebenläufigkeit
- kompakte Erfassung komplexer Systeme
- Werkzeuge für Analyse und Entwurf
- Petrinetze finden daher Verwendung in den unterschiedlichsten Bereichen der Informatik.
- Es werden grundlegende Netzklassen wie z. B. EN/System, S/T-System, höhere Netze behandelt.
Stellung im Studienplan: Grundstudium
Voraussetzung: keine
Vorgehen:
Vortrag von Originalarbeiten durch einzelne Studierende oder Kleingruppen nach Betreuung durch den Veranstalter. Diskussion der Inhalte und des Vortragstils. Ausarbeitung einer kurzen Zusammenfassung. Einige Vorträge sollen teilweise durch Vorführungen von Petrinetz-Werkzeugen (Grafik-, Analyse-, Simulations-Programmen) ergänzt werden.
Literatur:
W. Reisig: Petrinetze; Springer-Verlag.
Weitere Literatur wird in der Veranstaltung bekanntgegeben.
Periodizität: unregelmäßig
Bemerkungen: Für LehrerInnen / NebenfächlerInnen geeignet.
