inf404 - Petrinetze (Vollständige Modulbeschreibung)
Modulbezeichnung | Petrinetze |
Modulkürzel | inf404 |
Kreditpunkte | 6.0 KP |
Workload | 180 h |
Einrichtungsverzeichnis | Department für Informatik |
Verwendbarkeit des Moduls |
|
Zuständige Personen |
|
Teilnahmevoraussetzungen | |
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:
Methodenkompetenzen Die Studierenden:
Sozialkompetenzen Die Studierenden:
Selbstkompetenzen Die Studierenden: |
Modulinhalte |
|
Literaturempfehlungen | In erster Linie:
Sekundär:
|
Links | |
Unterrichtsprachen | Deutsch, Englisch |
Dauer in Semestern | 1 Semester |
Angebotsrhythmus Modul | jährlich |
Aufnahmekapazität Modul | unbegrenzt |
Modulart | je nach Studiengang Pflicht oder Wahlpflicht |
Modullevel | AS (Akzentsetzung / Accentuation) |
Lehr-/Lernform | V+Ü |
Lehrveranstaltungsform | Kommentar | SWS | Angebotsrhythmus | Workload Präsenz |
---|---|---|---|---|
Vorlesung | 2 | WiSe | 28 | |
Übung | 2 | WiSe | 28 | |
Präsenzzeit Modul insgesamt | 56 h |
Prüfung | Prüfungszeiten | Prüfungsform |
---|---|---|
Gesamtmodul | Am Ende des Semesters |
Klausur oder mündliche Prüfung |