Analyse von Petri-Netz-Modellen (Leitfäden und Monographien der Informatik)

"Analyse von Petri-Netz-Modellen" von Peter H. Starke ist ein Fachbuch, das sich mit der Theorie und Anwendung von Petri-Netzen in der Informatik beschäftigt. Petri-Netze sind ein mathematisches Modell zur Beschreibung und Analyse verteilter Systeme und Prozesse, die parallel ablaufen können. Das Buch bietet eine umfassende Einführung in die Grundlagen der Petri-Netze, einschließlich ihrer Struktur und Dynamik. Starke erklärt die verschiedenen Arten von Petri-Netzen, wie Stellen-Transitions-Netze (ST-Netze) und farbige Petri-Netze, und beschreibt Methoden zur Modellierung komplexer Systeme. Ein wesentlicher Schwerpunkt liegt auf den Analysetechniken, die verwendet werden können, um Eigenschaften wie Erreichbarkeit, Lebendigkeit und Sicherheit zu überprüfen. Das Buch richtet sich an Studierende der Informatik sowie an Fachleute, die sich mit der Modellierung und Analyse paralleler Systeme beschäftigen. Durch zahlreiche Beispiele und Übungen wird das theoretische Wissen praxisnah vermittelt.