/docs/states.dot

 1digraph {
 2
 3initial -> lobby_listen [label="start up"]
 4lobby_listen -> new_client  [label="client connect"]
 5new_client -> registered [label="Hello cmd"]
 6
 7registered -> starting_game [label="new game [1]", style="dashed"]
 8registered -> starting_game [label="(re)join game [n]"]
 9
10starting_game -> running_game [label="start game"]
11
12disconnected -> lobby_listen [label="reconnect [1]", style="dashed"]
13
14lobby_listen -> disconnected [label="disconnected [1]", style="dashed"]
15new_client -> disconnected [label="disconnected [1]", style="dashed"]
16registered -> disconnected [label="disconnected [1]", style="dashed"]
17starting_game -> disconnected [label="disconnected [1]", style="dashed"]
18running_game -> disconnected [label="disconnected [1]", style="dashed"]
19
20
21subgraph {initial; disconnected; rank=same}
22}