Beschreiben mögliche Zustände und -Übergänge eines Objektes.
gerichteter Graph
Start- und Endzustand kennzeichnen
ausgelöst durch interne und externe Ereignisse
Mathematisches Modell: endlicher Automat (reguläre Sprache, Typ-3-Grammatik, regulärer Ausdruck)