Német
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 effizienteModellanalyse 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.
