Drei unterschiedliche Vorgehensweisen bei der Analyse eines Netzes können unterschieden werden: Erreichbarkeitsanalyse, Invariantenanalyse und Strukturanalyse.
Als Erreichbarkeitsanalyse wird jedes Vorgehen bezeichnet, das auf einer (mindestens teilweisen) Konstruktion des Zustands- bzw. Erreichbarkeitsgraphen des Netzes beruht. Dazu gehört die Pfadberechnung und die Berechnung und Analyse des Zustandsgraphen, wobei dieser symmetrisch bzw. stur reduziert berechnet werden kann. Für unbeschränkte Netze kann der Überdeckbarkeitsgraph berechnet werden.
Zur Invariantenanalyse gehören alle Verfahren, die auf die Lösung aus der Inzidenzmatrix des Netzes abgeleiteter linearer Gleichungssysteme abzielen.
Die Strukturanalyse versucht Aussagen über dynamische Eigenschaften wie Lebendigkeit auf der Basis von strukturellen Eigenschaften des Netzes, wie z.B. der Deadlock-Falle-Eigenschaft zu gewinnen.
Zuletzt geändert am: Thu Apr 10 15:08:18 MET DST 1997