Veranstaltung
Die hier angezeigten Termine und Veranstaltungen werden dynamisch aus Stud.IP heraus angezeigt.
Daher kontaktieren Sie bei Fragen bitte direkt die Person, die unter dem Punkt Lehrende/Dozierende steht.
Veranstaltung
2.01.410 Formale Methoden: Petrinetze, Prozessalgebren & Co. -
Veranstaltungstermin | Raum
- Dienstag, 7.4.2026 14:00 - 16:00 | A02 3-334
- Donnerstag, 9.4.2026 10:00 - 12:00 | A02 3-334
- Dienstag, 14.4.2026 14:00 - 16:00 | A02 3-334
- Donnerstag, 16.4.2026 10:00 - 12:00 | A02 3-334
- Dienstag, 21.4.2026 14:00 - 16:00 | A02 3-334
- Donnerstag, 23.4.2026 10:00 - 12:00 | A02 3-334
- Dienstag, 28.4.2026 14:00 - 16:00 | A02 3-334
- Donnerstag, 30.4.2026 10:00 - 12:00 | A02 3-334
- Dienstag, 5.5.2026 14:00 - 16:00 | A02 3-334
- Donnerstag, 7.5.2026 10:00 - 12:00 | A02 3-334
- Dienstag, 12.5.2026 14:00 - 16:00 | A02 3-334
- Dienstag, 19.5.2026 14:00 - 16:00 | A02 3-334
- Donnerstag, 21.5.2026 10:00 - 12:00 | A02 3-334
- Dienstag, 26.5.2026 14:00 - 16:00 | A02 3-334
- Donnerstag, 28.5.2026 10:00 - 12:00 | A02 3-334
- Donnerstag, 4.6.2026 10:00 - 12:00 | A02 3-334
- Dienstag, 9.6.2026 14:00 - 16:00 | A02 3-334
- Donnerstag, 11.6.2026 10:00 - 12:00 | A02 3-334
- Dienstag, 16.6.2026 14:00 - 16:00 | A02 3-334
- Donnerstag, 18.6.2026 10:00 - 12:00 | A02 3-334
- Dienstag, 23.6.2026 14:00 - 16:00 | A02 3-334
- Donnerstag, 25.6.2026 10:00 - 12:00 | A02 3-334
- Dienstag, 30.6.2026 14:00 - 16:00 | A02 3-334
- Donnerstag, 2.7.2026 10:00 - 12:00 | A02 3-334
- Dienstag, 7.7.2026 14:00 - 16:00 | A02 3-334
- Donnerstag, 9.7.2026 10:00 - 12:00 | A02 3-334
- Mittwoch, 15.7.2026 15:00 - 15:30 | A02 3-340
- Donnerstag, 16.7.2026 9:00 - 12:00 | A02 3-340
Beschreibung
Formale Methoden sind mathematisch wohldefinierte Sprachen zur Modellierung von Systemen. In der Vorlesung sehen wir uns verschiedene solche Sprachen an (genauer, Petrinetze, Prozessalgebren und Zeitautomaten), modellieren kleinere Beispiele mit Ihnen und lernen verschiedene Analyseverfahren kennen, die Aussagen über die modellierten Systeme treffen können.
Lehrende
SWS
4
Lehrsprache
deutsch und englisch