Hallo,
die Statecharts auf den Übungsblättern mache ich üblicherweise mit IPE unter Linux.
In Latex gibt es das TikZ-Paket mit dem man allerlei verschiedene Grafik-Sachen machen kann, unter anderem auch Automaten und Graphen (hier gibt's einige Beispiele: [
www.texample.net]). Da lohnt es sich reinzuschauen.
Grüße
Florian Pigorsch