Digicampus
Vorlesung: Petrinetze -- eine Theorie paralleler Systeme - Details
Sie sind nicht in Stud.IP angemeldet.
Lehrveranstaltung wird online/digital abgehalten.

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

Räume und Zeiten

(1057N)
Montag: 12:15 - 13:45, wöchentlich (13x)
Mittwoch: 10:00 - 11:30, wöchentlich (13x)
(1057N (in 1. Woche Vorlesung))
Mittwoch: 10:00 - 11:30, wöchentlich (1x)

Kommentar/Beschreibung

Petrinetze bilden ein formales Hilfsmittel zur Modellierung paralleler Systeme, das durch die graphische Darstellung der Netze besonders attraktiv ist. Die Vorlesung behandelt verschiedene wichtige Klassen von Petrinetzen und zugehörigen Analyseverfahren. Dabei stellt sich die Frage, wie das Verhalten von parallelen Systemen auf einer abstrakten Ebene geeignet zu beschreiben ist; im Rahmen der Theorie der Petrinetze sind hier besonders Beschreibungen wichtig, bei denen ein Ablauf eines Systems durch eine Halbordnung der ausgeführten Aktionen modelliert wird.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Zeitgesteuerte Anmeldung: Petrinetze -- eine Theorie paralleler Systeme".
Folgende Regeln gelten für die Anmeldung:
  • Die Anmeldung ist möglich ab 10.03.2020, 00:00.