| 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.
|