fsm/examples/states.dot

digraph fsm {
    "end" -> "finished" [ label = "finish" ];
    "end" -> "start" [ label = "reset" ];
    "finished" -> "start" [ label = "reset" ];
    "start" -> "end" [ label = "run" ];

    "end";
    "finished";
    "start" [color = "red"];
}