Allgemeine Informationen
Veranstaltungsname | Vorlesung: Petrinetze -- eine Theorie paralleler Systeme |
Veranstaltungsnummer | INF-0161 |
Semester | SS 2020 |
Aktuelle Anzahl der Teilnehmenden | 16 |
Heimat-Einrichtung | Theorie verteilter und paralleler Systeme |
beteiligte Einrichtungen | Institut für Informatik |
Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
Erster Termin | Montag, 20.04.2020 12:15 - 13:45, Ort: (1057N) |
Teilnehmende |
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 (Übung) 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. |
Online/Digitale Veranstaltung | Veranstaltung wird online/digital abgehalten. |
Hauptunterrichtssprache | deutsch |
Literaturhinweise |
Desel, Reisig, Rozenberg (eds.): Lectures on Concurrency and Petri Nets. Advances in Petri Nets. Springer, LNCS 3098, 2004 Peterson: Petri Net Theory and the Modelling of Systems. Prentice Hall, 1981 Priese, Wimmel: Theoretische Informatik - Petrinetze. Springer, 2003 Reisig: Petrinetze - Eine Einf"uhrung. 2. Auflage; Springer, 1986 [Vogler: Modular Construction and Partial Order Semantics of Petri Nets. Springer, LNCS 625, 1992] |
ECTS-Punkte | 5 |