/doc/report/graphs/state.dot

 1digraph state {
 2S1 [label="Started"]
 3S2 [label="Running"]
 4S3 [label="FunEnter"]
 5S4 [label="FunExit"]
 6S5 [label="Msg"]
 7S6 [label="Finished"]
 8S7 [label="Stop"]
 9
10S1->S2 [label="0.8"]
11S1->S3 [label="0.1"]
12S1->S5 [label="0.1"]
13
14S2->S2 [label="0.4"]
15S2->S3 [label="0.2 (!f)"]
16S2->S4 [label="0.2 (f)"]
17S2->S5 [label="0.3"]
18S2->S4 [label="0.1 (f)"]
19S2->S6 [label="0.1 (!f)"]
20
21S3->S2 [label="0.5"]
22S3->S4 [label="0.2"]
23S3->S5 [label="0.3"]
24
25S4->S2 [label="0.4"]
26S4->S3 [label="0.1"]
27S4->S5 [label="0.3"]
28S4->S6 [label="0.1"]
29
30S5->S2 [label="0.6"]
31S5->S3 [label="0.2 (!f)"]
32S5->S4 [label="0.2 (f)"]
33S5->S5 [label="0.1"]
34S5->S4 [label="0.1 (f)"]
35S5->S6 [label="0.1 (!f)"]
36
37S6->S7
38
39}