General information

Course name	Lecture: 2.01.410 Formale Methoden: Petrinetze, Prozessalgebren & Co.
Subtitle	inf410
Course number	2.01.410
Semester	SoSe2026
Current number of participants	11
expected number of participants	10
Home institute	Department of Computing Science
Courses type	Lecture in category Teaching
First date	Tuesday, 07.04.26, 14:00 - 16:00 o'clock A02 3-334
Type/Form	V+Ü
Lehrsprache	deutsch und englisch

Lecturers

Rooms and times

A02 3-334

Tuesday, 14:00 - 16:00, Weekly (from 07.04.26)
Thursday, 10:00 - 12:00, Weekly (from 09.04.26)

A02 3-340

Wednesday, 15.07.26, 15:00 - 15:30 o'clock
Thursday, 16.07.26, 09:00 - 12:00 o'clock

Module assignments

Campusmanagementsystem Stud.IP
- Computing Science - Bachelor's Programme
  - Akzentsetzungsbereich - Wahlbereich Informatik
    - inf410 - Formal Methods
      - Übung
      - Vorlesung
- Computing Science - Extension subject Gymnasium
  - Computing Science
    - inf410 - Formal Methods
      - Übung
      - Vorlesung
- Computing Science - Master of Education Programme (Gymnasium)
  - Wahlpflichtmodule (Theoretische Informatik)
    - inf410 - Formal Methods
      - Übung
      - Vorlesung

Comment/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.

Lecture: 2.01.410 Formale Methoden: Petrinetze, Prozessalgebren & Co. - Details

A02 3-334

A02 3-340