Modell und Analyse verteilter Systeme mit Petrinetzen

Dozent: Prof. Dr. rer.nat.habil. Karsten Wolf
      Az.
Modellierung mit Petrinetzen   12
Modellierung mit Petrinetzen Teil2   9
Zustandsraumanalyse   8
Zustandsraumanalyse Teil2   5
Zustandsraumreduktion: Stubborn Sets   11
Zustandsraumreduktion: Mathematische Grundlagen für Symmetrie   5
Zustandsraumreduktion: Symmetrie   11
Strukturanalyse   10
Strukturanalyse Teil2   8
Netzsynthese   7
Andere Netzklassen   9
Eigenschaften (red. Komposition)   16