1*655d4809SGabriele Monacodigraph state_automaton { 2*655d4809SGabriele Monaco {node [shape = circle] "state_b"}; 3*655d4809SGabriele Monaco {node [shape = circle] "state_c"}; 4*655d4809SGabriele Monaco {node [shape = plaintext, style=invis, label=""] "__init_state_a"}; 5*655d4809SGabriele Monaco {node [shape = doublecircle] "state_a"}; 6*655d4809SGabriele Monaco {node [shape = circle] "state_a"}; 7*655d4809SGabriele Monaco "__init_state_a" -> "state_a"; 8*655d4809SGabriele Monaco "state_a" [label = "state_a"]; 9*655d4809SGabriele Monaco "state_a" -> "state_b" [ label = "event_1" ]; 10*655d4809SGabriele Monaco "state_a" -> "state_c" [ label = "event_2" ]; 11*655d4809SGabriele Monaco "state_b" [label = "state_b"]; 12*655d4809SGabriele Monaco "state_b" -> "state_a" [ label = "event_2" ]; 13*655d4809SGabriele Monaco "state_b" -> "state_c" [ label = "event_3" ]; 14*655d4809SGabriele Monaco "state_c" [label = "state_c"]; 15*655d4809SGabriele Monaco { rank = min ; 16*655d4809SGabriele Monaco "__init_state_a"; 17*655d4809SGabriele Monaco "state_a"; 18*655d4809SGabriele Monaco } 19*655d4809SGabriele Monaco} 20