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

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
First date Wednesday, 12.04.2023 12:15 - 13:45, Room: A03 2-209
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)

Comment/Description

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.

Admission settings

The course is part of admission "Anmeldung gesperrt (global)".
Erzeugt durch den Stud.IP-Support
The following rules apply for the admission:
  • Admission locked.