Stud.IP Uni Oldenburg
Universität Oldenburg
06.07.2020 01:28:12
inf404 - Petrinetze
Department für Informatik 6 KP
Modulteile Semesterveranstaltungen Wintersemester 2019/2020 Prüfungsleistung
Vorlesung
  • Kein Zugang 2.01.404 - Petrinetze headache
    • Elke Wilkeit

    Montag: 10:00 - 12:00, wöchentlich (ab 14.10.2019), Ort: A03 4-403
    Donnerstag: 10:00 - 12:00, wöchentlich (ab 17.10.2019), Ort: A03 4-402
    Termine am Samstag. 08.02.20 10:30 - 12:30, Mittwoch. 22.07.20 08:00 - 10:00, Ort: A04 2-221, ((A07 Hörsaal 1))

Übung
  • Kein Zugang 2.01.404 - Petrinetze headache
    • Elke Wilkeit

    Montag: 10:00 - 12:00, wöchentlich (ab 14.10.2019), Ort: A03 4-403
    Donnerstag: 10:00 - 12:00, wöchentlich (ab 17.10.2019), Ort: A03 4-402
    Termine am Samstag. 08.02.20 10:30 - 12:30, Mittwoch. 22.07.20 08:00 - 10:00, Ort: A04 2-221, ((A07 Hörsaal 1))

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