Example Data: tmp_hio_cb_ABCD_env_freetr.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"Environment AB 2"
%
% Statistics for Environment AB 2
%
% States: 4
% Init/Marked: 1/4
% Events: 8
% Transitions: 28
% StateSymbols: 0
% Attrib. E/S/T: 8/0/0
%
<Alphabet>
"AB_occfl" +YE+ "AB_accfl" +YE+ "AB_freetr" +YE+
"CD_occfl" +YE+ "CD_accfl" +YE+ "CD_freetr" +YE+
"ABCD_freetr" +YL+ "ABCD_reltr" +YL+
</Alphabet>
<States>
1 2 3 4
</States>
<TransRel>
1 "AB_occfl" 1
1 "AB_accfl" 1
1 "AB_freetr" 2
1 "CD_occfl" 1
1 "CD_accfl" 1
1 "CD_freetr" 3
1 "ABCD_reltr" 1
2 "AB_occfl" 1
2 "AB_accfl" 1
2 "AB_freetr" 2
2 "CD_occfl" 2
2 "CD_accfl" 2
2 "CD_freetr" 4
2 "ABCD_reltr" 2
3 "AB_occfl" 3
3 "AB_accfl" 3
3 "AB_freetr" 4
3 "CD_occfl" 1
3 "CD_accfl" 1
3 "CD_freetr" 3
3 "ABCD_reltr" 3
4 "AB_occfl" 3
4 "AB_accfl" 3
4 "AB_freetr" 4
4 "CD_occfl" 2
4 "CD_accfl" 2
4 "CD_freetr" 4
4 "ABCD_freetr" 4
</TransRel>
<InitStates>
4
</InitStates>
<MarkedStates>
1 2 3 4
</MarkedStates>
</Generator>