blob: cdd4192f58ae34cbcb1e9bf213a1782cdc3333be (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
digraph state_automaton {
{node [shape = circle] "state_b"};
{node [shape = circle] "state_c"};
{node [shape = plaintext, style=invis, label=""] "__init_state_a"};
{node [shape = doublecircle] "state_a"};
{node [shape = circle] "state_a"};
"__init_state_a" -> "state_a";
"state_a" [label = "state_a"];
"state_a" -> "state_b" [ label = "event_1" ];
"state_a" -> "state_c" [ label = "event_2" ];
"state_b" [label = "state_b"];
"state_b" -> "state_a" [ label = "event_2" ];
"state_b" -> "state_c" [ label = "event_3" ];
"state_c" [label = "state_c"];
{ rank = min ;
"__init_state_a";
"state_a";
}
}
|
