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
Untertitel s. http://www.informatik.uni-augsburg.de/lehrstuehle/swt/ti/lehre/ws1819/petrinetze
Semester WS 2018/19
Aktuelle Anzahl der Teilnehmenden 5
Heimat-Einrichtung Theorie verteilter und paralleler Systeme
beteiligte Einrichtungen Institut für Informatik
Veranstaltungstyp Vorlesung in der Kategorie Lehre
Online/Digitale Veranstaltung Veranstaltung wird online/digital abgehalten.
Hauptunterrichtssprache deutsch
ECTS-Punkte 5

Räume und Zeiten

Keine Raumangabe

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 05.09.2018, 00:00.