// dot -Tpng -Gcharset=latin1 state_graph.dot -o states.png

digraph StateMachine {
  node [style=rounded, shape=box, fontname="Helvetica"];
  edge [fontsize=9, fontname="Helvetica"];

  Start [shape=plaintext];
  Ende [shape=plaintext];
 
  Start -> "Hauptmenü";
  "Hauptmenü" -> Ende [label="Spiel beenden"];
  "Hauptmenü" -> Spielerwahl [label="Neues Spiel",labelfontsize=4.0];
  "Hauptmenü" -> Credits [label="Credits"];
  Credits -> "Hauptmenü" [label="Zurück"];
  Spielerwahl -> "Hauptmenü" [label="Zurück"];
  Spielerwahl -> "Spiel läuft" [label="1/2/3 Spieler"];
  "Spiel läuft" -> "Spiel wirklich beenden?" [label="ESC, F10"];
  "Spiel wirklich beenden?" -> "Hauptmenü" [label="Ja"];
  "Spiel wirklich beenden?" -> "Spiel läuft" [label="Nein"];
}