Stavové diagramy používané pro grafické vyjádření konečných automatů, jsou přirozeným prostředkem pro popis chování systémů. Souběžné systémy lze formalizovat pomocí přechodových systémů s návěštími. Konečně stavové přechodové systémy lze graficky reprezentovat právě pomocí stavových diagramů s návěštími jednotlivých přechodů.
Přehledný popis chování rozsáhlých souběžných systémů pomocí jednoho stavového diagramu je díky nestrukturovanosti a nekompaktnosti prakticky nemožný. Ideou je stavové diagramy rozšířit tak, aby byly strukturované a vhodné pro popis určité třídy souběžných systémů.
Pro popis souběžných systémů, které mají charakter reaktivních systémů, byl Davidem Harelem na základě této myšlenky vyvinut grafický jazyk Statecharts [], o němž se zde zmíníme, neboť přináší řadu principů využívaných v dalších grafických formalizmech pro souběžné systémy.