Die strukturierte Analyse Markovscher Modelle

Das Buch behandelt die quantitative Analyse komplexer

dynamischer Systeme mittels Modellen, die sich auf

Markov-Prozesse abbilden lassen. Es wird ein Konzept

entwickelt, welches die hierarchische Spezifikation von

komplexen Modellen und die Kombination verschiedener

bekannter Modellierungsparadigmen in einem Modell erlaubt.

Neue Analysetechniken werden vorgestellt, die unter

Ausnutzung der Modellstruktur eine sehr effiziente

Modellanalyse erm|glichen. Im Vergleich zu bekannten

Analysetechniken lassen sich deutlich gr|~ere Modelle

analysieren und in vielen F{llen wird auch der Zeitaufwand

der Analyse drastisch gemindert. Bei Vorliegen spezieller

Modelleigenschaften, wie sie insbesondere bei

Multiprozessorsystemen oder Rechnernetzen vorliegen, ist

eine Reduzierung des zu analysierenden Markov-Prozesses

mittels Aggregierung m|glich, ohne die Exaktheit der

Resultate zu beeinflussen. Dar}ber hinausgehende

Vereinfachungen deszu analysierenden Systems, die zu

approximativen Ergebnissen f}hren, sind mit Hilfe der neuen

Analysealgorithmen ebenfalls m|glich.