Example Data: tmp_hio_tu_IOcontrollerA_H.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"Controller AB__a_H__ABCD__EFGH__A_H"
%
% Statistics for Controller AB__a_H__ABCD__EFGH__A_H
%
% States: 25
% Init/Marked: 1/25
% Events: 9
% Transitions: 42
% StateSymbols: 0
% Attrib. E/S/T: 9/0/0
%
<Alphabet>
"idle_ABCD" +YP+ "l2r_ABCD" +UP+ "stby_ABCD" +UP+
"idle_EFGH" +YP+ "l2r_EFGH" +UP+ "stby_EFGH" +UP+
"idle_A_H" +YC+ "l2r_A_H" +UC+ "stby_A_H" +UC+
</Alphabet>
<States>
<Consecutive>
1 25
</Consecutive>
</States>
<TransRel>
2 "idle_ABCD" 3
2 "idle_EFGH" 10
3 "l2r_ABCD" 15
3 "stby_ABCD" 2
4 "stby_ABCD" 18
4 "idle_A_H" 11
5 "l2r_ABCD" 15
6 "l2r_EFGH" 12
7 "stby_EFGH" 17
7 "idle_A_H" 16
8 "idle_A_H" 16
9 "stby_ABCD" 15
10 "stby_EFGH" 14
11 "l2r_A_H" 3
11 "stby_A_H" 21
12 "idle_ABCD" 19
12 "idle_EFGH" 23
13 "l2r_A_H" 5
13 "stby_A_H" 21
14 "idle_ABCD" 5
14 "idle_EFGH" 10
15 "idle_ABCD" 9
15 "idle_EFGH" 6
16 "l2r_A_H" 10
16 "stby_A_H" 20
17 "idle_ABCD" 22
17 "idle_EFGH" 7
18 "idle_ABCD" 4
18 "idle_EFGH" 8
19 "stby_ABCD" 18
19 "idle_A_H" 13
20 "stby_EFGH" 12
21 "stby_ABCD" 25
22 "idle_A_H" 13
23 "stby_EFGH" 12
23 "idle_A_H" 16
24 "stby_ABCD" 25
24 "idle_A_H" 11
25 "idle_ABCD" 24
25 "idle_EFGH" 7
1 "idle_ABCD" 19
1 "idle_EFGH" 7
</TransRel>
<InitStates>
1
</InitStates>
<MarkedStates>
<Consecutive>
1 25
</Consecutive>
</MarkedStates>
</Generator>