Example Data: tmp_hio_cb_AB_env2.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"Environment AB"
%
% Statistics for Environment AB
%
% States: 3
% Init/Marked: 1/3
% Events: 8
% Transitions: 16
% StateSymbols: 0
% Attrib. E/S/T: 8/0/0
%
<Alphabet>
"A_occfl" +YE+ "A_freetr" +YE+ "B_occfl" +YE+
"B_freetr" +YE+ "AB_occfl" +YL+ "AB_accfl" +YL+
"AB_freetr" +YL+ "AB_reltr" +YL+
</Alphabet>
<States>
1 2 3
</States>
<TransRel>
1 "A_occfl" 3
1 "A_freetr" 1
1 "B_occfl" 3
1 "B_freetr" 1
1 "AB_freetr" 1
2 "A_occfl" 2
2 "A_freetr" 3
2 "B_occfl" 2
2 "B_freetr" 3
2 "AB_occfl" 2
3 "A_occfl" 2
3 "A_freetr" 3
3 "B_occfl" 3
3 "B_freetr" 1
3 "AB_accfl" 3
3 "AB_reltr" 3
</TransRel>
<InitStates>
1
</InitStates>
<MarkedStates>
1 2 3
</MarkedStates>
</Generator>