Allgemeine Informationen

Veranstaltungsname	Vorlesung: 2.01.410 Formale Methoden: Petrinetze, Prozessalgebren & Co.
Untertitel	inf410
Veranstaltungsnummer	2.01.410
Semester	SoSe2023
Aktuelle Anzahl der Teilnehmenden	7
erwartete Teilnehmendenanzahl	15
Heimat-Einrichtung	Department für Informatik
Veranstaltungstyp	Vorlesung in der Kategorie Lehre
Erster Termin	Mittwoch, 12.04.2023 12:15 - 13:45, Ort: A03 2-209
Art/Form	V
Lehrsprache	deutsch

Lehrende

Räume und Zeiten

(A02 3-334): Montag: 14:15 - 15:45, wöchentlich (11x); Mittwoch: 12:15 - 13:45, wöchentlich (13x)
A03 2-209: Mittwoch: 12:15 - 13:45, wöchentlich (1x)

Modulzuordnungen

Campusmanagementsystem Stud.IP
- Informatik - Fach-Bachelor-Studiengang
  - Akzentsetzungsbereich - Wahlbereich Informatik
    - inf410 - Formale Methoden
      - Übung
      - Vorlesung
- Informatik - Master of Education (Gymnasium)-Studiengang
  - Wahlpflichtmodule (Theoretische Informatik)
    - inf410 - Formale Methoden
      - Übung
      - Vorlesung

Kommentar/Beschreibung

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.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".

Erzeugt durch den Stud.IP-Support
Folgende Regeln gelten für die Anmeldung:

Die Anmeldung ist gesperrt.

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