Event
The dates and events shown here are dynamically displayed from Stud.IP.
Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturers) directly.
Event
2.01.410 Formale Methoden: Petrinetze, Prozessalgebren & Co. -
Event date(s) | room
- 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
Description
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.
Lecturers
SWS
4
Lehrsprache
deutsch und englisch