Schnelle Prüfung der Zuverlässigkeit technischer Systeme mit selbstähnlichen Petri-Netzen

Verfahren (100) zur Prüfung der Zuverlässigkeit eines technischen Systems (1) mit den Schritten:* die möglichen Betriebszustände (1a) des technischen Systems (1) und Übergänge (1b) zwischen diesen Betriebszuständen (1a) werden durch ein Petri-Netz (2) modelliert (110), in dem Orte mit Token belegbar sind und über lokale Zustandsänderungen, die mit einer Umverteilung dieser Token einhergehen, miteinander verbunden sind, wobei ein hierarchisch und selbstähnlich aufgebautes Petri-Netz (2) gewählt wird;* das Petri-Netz (2) wird in einen Kreowski-Graphen (3) überführt (120), in dem Belegungen von Orten mit Token durch Änderungen der topologischen Struktur des Graphen (3) ersetzt sind;* unter Heranziehung des Kreowski-Graphen (3) wird eine Bewertungsfunktion (4) für die Zuverlässigkeit des technischen Systems aufgestellt (130); mit dieser Bewertungsfunktion (4) wird die gesuchte Zuverlässigkeit (5) des technischen Systems (1) ausgewertet (140).