Studium & Lehre

Lehrveranstaltung des aktuelle Semesters

(Angewandte Filter: Semester: SS 2020 | Institution: Theorie verteilter Systeme | Vorlesungsarten: alle)
Name Dozent Typ
Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme Vogler

Walter Vogler,

Foth

Tobias Foth

Vorlesung
Oberseminar zu Grundlagen Reaktiver Systeme Vogler

Walter Vogler,

Knapp

Alexander Knapp

Oberseminar
Petrinetze -- eine Theorie paralleler Systeme Vogler

Walter Vogler,

Foth

Tobias Foth

Vorlesung

Information zu „Petrinetze -- eine Theorie paralleler Systeme“

Petrinetze bilden ein formales Hilfsmittel zur Modellierung paralleler Systeme, das durch die graphische Darstellung der Netze besonders attraktiv ist. Die Vorlesung stellt verschiedene Varianten von Petrinetzen vor. Sie behandelt Eigenschaften, die bei parallelen Systemen wichtig sind, und zeigt, wie diese mit Petrinetz-spezifischen Methoden nachgewiesen werden können.

 

Beachten Sie:

 

Die Teilnehmerzahl ist auf 30 Teilnehmer beschränkt. Interessenten tragen sich bitte ab dem 10.3.2020 möglichst bis 14.4.2020 in Digicampus für die Vorlesung "Petrinetze -- eine Theorie paralleler Systeme" und (soweit möglich) in die Gruppe Tatsächliche Teilnehmer ein. Eine  Anmeldung nach dem 14.4.2020 ist grundsätzlich möglich.

Zu der Gruppe Tatsächliche Teilnehmer (die zunächst auf 20 Teilnehmer beschränkt ist) kommen Sie via TeilnehmerInnen -> Funktionen/Gruppen. Ohne erfolgreiche Anmeldung in dieser Gruppe sind Sie zur Veranstaltung nicht zugelassen.

Wenn diese Gruppe gefüllt ist, warten Sie die Verteilung weiterer Plätze im April (insbesondere zu Beginn der Vorlesungszeit) ab.

Suche