Repräsentation des Verhaltens eines diskreten dynamischen Systems durch einen Graphen.

Jeder im System denkbare (oder von einem gegebenen Anfangszustand aus erreichbare) Zustand bildet einen Knoten des Graphen. Jedes elementare Ereignis bildet eine Kante von dem Zustand, bei dem das Ereignis stattfindet, zu dem Zustand, den das Ereignis erzeugt.

Viele Systemeigenschaften werden auf der Be-sis des Zustandsgraphen definiert und verifiziert. Der Zustandsgraph kann als (nicht unbedingt endlicher) Automat aufgefaßt werden, wodurch eine Verbindung zwischen dem Studium des Verhaltens dynamischer Systeme und formalen Sprachen hergestellt werden kann.