Deterministisch-Stochastische Petri-Netze (DSPNs), Fachbücher von Petr Pavlov

Durch Petri-Netze lassen sich auf 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 beispielsweise Systemleistung analysieren. Besonders breite Anwendung zur Modellierung und Analyse verschiedener Arten von Rechnersystemen finden deterministisch-stochastische Petri-Netze (DSPNs). Allerdings erfordert ihre analytische Auswertung mathematische Verfahren von hoher Komplexität. DSPNs unterscheiden sich jedoch nach Komplexität der Analyse. Das Ziel der vorliegenden 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 der DSPNs. Die Auswahl des verwendeten Verfahrens wird ausführlich erläutert. Des Weiteren wird beschrieben, wie das Verfahren mit der Programmiersprache Java implementiert und in das vorhandene Petri-Netz-Analysetool integriert wurde. Schliesslich zeigen Fallbeispiele die Leistungen und Anwendbarkeit des weiterentwickelten Tools.