Example Data: tmp_hio_cb_ABCD_env1.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"Environment ABCD"
%
% Statistics for Environment ABCD
%
% States: 22
% Init/Marked: 1/22
% Events: 21
% Transitions: 62
% StateSymbols: 0
% Attrib. E/S/T: 21/0/0
%
<Alphabet>
"AB_occfl" +YE+ "AB_accfl" +YE+ "AB_freetr" +YE+
"AB_reltr" +YE+ "AB_reqfl" +YE+ "AB_nack" +UE+
"AB_pack" +UE+ "CD_occfl" +YE+ "CD_accfl" +YE+
"CD_freetr" +YE+ "CD_reltr" +YE+ "CD_reqfl" +YE+
"CD_nack" +UE+ "CD_pack" +UE+ "ABCD_occfl" +YL+
"ABCD_accfl" +YL+ "ABCD_freetr" +YL+ "ABCD_reltr" +YL+
"ABCD_reqfl" +YL+ "ABCD_nack" +UL+ "ABCD_pack" +UL+
</Alphabet>
<States>
<Consecutive>
1 22
</Consecutive>
</States>
<TransRel>
1 "AB_occfl" 5
1 "AB_accfl" 5
1 "AB_freetr" 13
1 "AB_reltr" 13
1 "AB_reqfl" 7
1 "CD_occfl" 15
1 "CD_accfl" 15
1 "CD_freetr" 6
1 "CD_reltr" 6
1 "CD_reqfl" 21
2 "AB_occfl" 3
2 "AB_accfl" 3
2 "AB_freetr" 3
2 "AB_reltr" 3
2 "AB_reqfl" 3
2 "CD_occfl" 9
2 "CD_accfl" 9
2 "CD_freetr" 10
2 "CD_reltr" 10
2 "CD_reqfl" 10
3 "AB_nack" 2
4 "AB_pack" 2
5 "ABCD_occfl" 8
5 "ABCD_accfl" 8
6 "ABCD_freetr" 12
6 "ABCD_reltr" 12
7 "ABCD_reqfl" 8
8 "ABCD_nack" 13
8 "ABCD_pack" 14
9 "CD_pack" 1
10 "CD_nack" 2
11 "AB_occfl" 20
11 "AB_accfl" 20
11 "AB_freetr" 4
11 "AB_reltr" 4
11 "AB_reqfl" 20
11 "CD_occfl" 18
11 "CD_accfl" 18
11 "CD_freetr" 22
11 "CD_reltr" 22
11 "CD_reqfl" 22
12 "ABCD_nack" 15
12 "ABCD_pack" 9
13 "AB_nack" 1
14 "AB_pack" 1
15 "CD_nack" 1
16 "AB_occfl" 17
16 "AB_accfl" 17
16 "AB_freetr" 14
16 "AB_reltr" 14
16 "AB_reqfl" 17
16 "CD_occfl" 19
16 "CD_accfl" 19
16 "CD_freetr" 19
16 "CD_reltr" 19
16 "CD_reqfl" 19
17 "AB_nack" 16
18 "CD_pack" 16
19 "CD_nack" 16
20 "AB_nack" 11
21 "CD_pack" 11
22 "CD_nack" 11
</TransRel>
<InitStates>
1
</InitStates>
<MarkedStates>
<Consecutive>
1 22
</Consecutive>
</MarkedStates>
</Generator>