---

Durch Petri-Netze lassen sich auf gut anschauliche Art parallele Abläufe modellieren. Das macht sie zu einem unersetzlichen Werkzeug zur Modellierung und Planung von Rechnersystemen. Die zeitbehafteten Petri-Netze lassen zusätzlich z.B. Systemleistung analysieren. Besonders breite Anwendung zur Modellierung und Analyse verschiedener Arten Rechnersysteme finden DSPNs (Deterministisch-Stochastische Petri-Netze). Allerdings erfordert ihre analytische Auswertung mathematische Verfahren von hoher Komplexität. DSPNs unterscheiden sich jedoch nach Komplexität der Analyse. Das Ziel der vorliegender Arbeit ist, ein relativ einfaches Verfahren zur Steady-State Analyse von DSPNs auszuwählen und in die Praxis umzusetzen. Das Buch bietet einen theoretischen Einstieg ins Gebiet DSPNs. Die Auswahl des verwendeten Verfahrens wird ausführlich erläutert. Des weiterem wird beschrieben, wie das Verfahren mit der Programmiersprache JAVA implementiert und in das vorhandene Petri-Netz-Analysetool integriert wurde. Schließlich zeigen Fallbeispiele Leistungen und Anwendbarkeit des weiterentwickelten Tools. Das Programmpaket mit Fallbeispielen ist unter dem Link finden.

---

Petr Pavlov, B.C.Sc.: Studium der Informatik an der Georg-Simon-Ohm Fachhochschule Nürnberg. Softwareentwickler mit Schwerpunkten JAVA, .NET, Datenbanken. Zur Zeit tätig als ORACLE-Spezialist beim Bayerischen Landesamt für Steuern, Nürnberg.

---