Stud.IP Uni Oldenburg
University of Oldenburg
03.06.2023 04:35:12
Lecture: 2.01.410 Formale Methoden: Petrinetze, Prozessalgebren & Co. - Details
You are not logged into Stud.IP.

General information

Course name Lecture: 2.01.410 Formale Methoden: Petrinetze, Prozessalgebren & Co.
Subtitle inf410
Course number 2.01.410
Semester SoSe2023
Current number of participants 7
expected number of participants 15
Home institute Department of Computing Science
Courses type Lecture in category Teaching
Next date Monday, 05.06.2023 14:15 - 15:45, Room: (A02 3-334)
Type/Form V
Lehrsprache deutsch

Rooms and times

(A02 3-334)
Monday: 14:15 - 15:45, weekly (11x)
Wednesday: 12:15 - 13:45, weekly (13x)
A03 2-209
Wednesday: 12:15 - 13:45, weekly (1x)

Module assignments

  • Campusmanagementsystem Stud.IP
    • Computing Science - Bachelor's Programme
    • Computing Science - Master of Education Programme (Gymnasium)


Formale Methoden sind Sprachen zur Spezifikation von Systemen, die eine formale Semantik besitzen. In der Vorlesung wollen wir uns mehrere solche Formale Methoden anschauen: Petrinetze und die Prozessalgebra CCS zur Spezifikation von parallelen Systemen sowie Realzeitautomaten zur Spezifikation von zeitkritischen Systemen. Für jede Sprache werden wir ihre Semantik definieren, uns Beispiele anschauen sowie Methoden der Analyse besprechen.