Universität Koblenz Institut für Softwaretechnik Institut für Softwaretechnik

Für Studierende

Veranstaltungen WS 05/06

Vorlesung Modellieren mit Höheren Petri-Netzen

Titel:Modellieren mit Höheren Petri-Netzen (V)
Nr.:4.1.14
Dozent:Kurt Lautenbach
Beginn:08.11.2005
Zeit/Ort:Di 16 c.t. / ME 016
Voraussetzung:Mathematik (Grundstudium) hilfreich
Kurzbeschreibung: Petri-Netze sind ein weit verbreiteter visueller unf formaler Ansatz zur Modellierung diskreter dynamischer Systeme. In dieser Vorlesung wird in die höheren Petri-Netze und die Modellierung mit ihnen eingeführt. Ein Schwerpunkt wird dabei die Modellierung der Ausbreitung von Wahrscheinlichkeiten sein, die z.B. in der Bio-Informatik eine immer wichtigere Rolle spielt. Dazu wird auch die Beziehung zu sogenannten Bayes-Netzen, Entscheidungs- und Influenzdiagrammen hergestellt. Die Behandlung dieses Stoffs ist ohne grundlegende stochastische Kenntnisse nicht möglich. Aus diesem Grund beinhaltet die Vorlesung auch eine Einführung in die Wahrscheinlichkeitstheorie.

zurück


Editor:  Alexander Pinl  - last update:  31.08.2005