Allgemeiner Kurskatalog WiSe 2012/13 - Fakultät für Maschinenbau ...

Stand: 24.10.2012
Einführung in die Modellierung mit Petri-Netzen
Stochastic Petrin Nets
Dozent: Szczerbicka E-Mail:
hsz@sim.uni~
Ziel des Kurses:
Vermittlung von Modellierungsformalismen zur Analyse von parallelen und verteilten Systemen wie
rechner- oder drahtlose Telekommunikationsnetze. Der Schwerpunkt wird auf die stochastische
Modellierung gelegt. Im Aufbau der Vorlesung wird sehr auf die intuitive Darstellung von
mathematischen Resultaten geachtet.
Inhalt:
- Zeitlose Petrinetze
- Bestimmung qualitativer Eigenschaften (Lebendigkeit, Beschränktheit, Invarianten etc.)
- stochastische Petrinetze
- GSPN, Ableitung der Markovkette
- Bestimmung von quantitativen Leistungsgrößen
- Anwendungen zur Modellierung mit Petrinetzen
- Weitere Konzepte aus der Familie der Petrinetze, u.a. farbige Petrinetze und hybride Petrinetze.
Empfohlene Vorkenntnisse:
---
Voraussetzungen:
---
Literaturempfehlung:
---
Besonderheiten:
---
Präsenzstudienzeit: 32h
Selbststudienzeit: 88h
Empfohlen ab dem: 8. Semester
Seite 60
Art der Prüfung: mündlich
V2/Ü1
ECTS-LP (alt LP): 4 (6 LP) SS
Institut für Systems Engineering, FG Simulation