Existují další přístupy k definici grafických formalizmů pro souběžné systémy. O některých z nich se velmi stručně zmíníme v této sekci.
Za formální nástroj pro specifikaci a popis souběžných systémů lze považovat Petriho sítě [] a jejich různé varianty. Petriho sítě nepodporují hierarchii, abstrakci ani modularitu. Petriho sítě jsou tedy z hlediska specifikace vhodné spíše pro popis menších částí souběžného systému, reprezentovaných kompatnějšími grafy sítí. Existují nástroje umožňující grafický návrh Petriho sítí v hierarchickém smyslu (např. designCPN []), hierarchie však není součástí formálního jazyka.
Best a Hopkins zavádějí formalizmus [], který rozšiřuje Petriho sítě tak, aby bylo pro ně možné definovat kompoziční sémantiku. Vzniká tak textový formalizmus principiálně podobný algebrám procesů. To ale neřeší problém grafické podpory hierarchie Petriho sítí.
Z dalších formalizmů jmenujeme Message Sequence Charts (MSC) []. MSC jsou grafickým jazykem pro popis interakcí mezi komponentami systému. Používají se zejména při specifikaci systémů reálného času v telekomunikacích spolu s textovým jazykem SDL [] pro popis telekomunikačních protokolů. Jazyk SDL nepodporuje hierarchii. Oba formalizmy jsou standardizované mezinárodní organizací ITU (International Telecommunication Union).