Stochastische Petrinetze

Hauptstudiumsvorlesung mit integrierten Übungen

Veranstalter: Berndt Farwer und Heiko Rölke.

Diese Seite enthält Material und zusätzliche Informationen zur Vorlesung "Stochastische Petrinetze" (18.207) im Sommersemester 2004.
Termine: Mo 12:15 - 13:45 C-221.

Inhalt

(kommt noch)

Folien

Folien werden je nach Fortschritt der Veranstaltung hier hinterlegt. Zugriff nur mit gültiger Benutzerkennung am FBI (vom Sun-Cluster) oder aus dem passwortgeschützten Bereich.

Einführung und Wartesysteme vom NFS mount mit Passwort (05.04.2004)
Stochastik-Auffrischung und Markov-Prozesse vom NFS mount mit Passwort (19.04.2004)
Petrinetze (zeitlos): Definition und Eigenschaften vom NFS mount mit Passwort (26.04.2004)
Petrinetze mit Zeit: Allgemeine Betrachtung vom NFS mount mit Passwort (03.05.2004)
Stochastische Petrinetze (Formalismus und Beispiele) vom NFS mount mit Passwort (10.05.2004)
Generalized Stochastic Petri Nets (GSPN) vom NFS mount mit Passwort (17.05.2004)
Generalized Stochastic Petri Nets (GSPN) 2.Teil vom NFS mount mit Passwort (24.05.2004)

Literatur

Bause/Kritzinger: Stochastic Petri Nets, Vieweg Verlag
C. Girault and R. Valk; Petri Nets for System Engineering -- A Guide to Modeling, Verification, and Applications, Springer, 2003

Weiterührende Materialien

Information zu Renew.
Information zu PIPE oder auch PIPE-2.
Aufruf von PIPE (2) an den FBI-Rechnern: java -cp /local/tgi/java/lib/pipe2/pipe/bin RunGui

Korrekturen, Anmerkungen bitte an Heiko Rölke