Stud.IP Uni Oldenburg
Universität Oldenburg
22.11.2019 03:04:13
inf404 - Petrinetze
Department für Informatik 6 KP
Modulteile Semesterveranstaltungen Wintersemester 2019/2020 Prüfungsleistung
Vorlesung
Übung
Hinweise zum Modul
Prüfungszeiten
Am Ende des Semesters
Prüfungsleistung Modul
Klausur oder mündliche Prüfung
Kompetenzziele
Moderne, hoch parallele Systeme sind äußerst verhaltenskomplex. Ihre Konstruktion bedarf der Visualisierung und der algorithmischen Unterstützung.
Petrinetze sind ein grundlegendes, weit verbreitetes grafische Modell für die Spezifikation paralleler Systeme. Auch stellen sie flexibel nutzbare algorithmische Methoden zur Analyse solcher Systeme bereit.
Thema des Moduls ist die Theorie und die Anwendung von Petrinetzen, sowohl zur Visualisierung, als auch zur Analyse und Synthese hoch paralleler Systeme.

Fachkompetenzen
Die Studierenden:
  • definieren die Grundkonzepte von Petrinetzen
  • klassifizieren Petrinetze anhand ihrer Eigenschaften
  • analysieren Petrinetze
  • wenden Petrinetze auf gegebene Problemstellungen an


Methodenkompetenzen
Die Studierenden:
  • können sich auf Petrinetze aufbauende Spezifikationsmethoden leichter erschließen


Sozialkompetenzen
Die Studierenden:
  • präsentieren den Veranstaltungsteilnehmern Lösungen von Übungsaufgaben


Selbstkompetenzen
Die Studierenden:

Nach oben