Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß

• TGI
  • Heimatseite
  • Ankündigungen
• Personen
  • Mitarbeiterinnen und Mitarbeiter
  • Studentinnen und Studenten
• Lehre
  • Lehre
  • Abschlussarbeiten
• Forschung
• Publikationen
• Service
  • Service
  • Tools
  • Petri Nets World
    

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.