Example Data: tmp_hioenvironment_repaired.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"FreeInput(HioEnvironment)"
%
% Statistics for FreeInput(HioEnvironment)
%
% States: 6
% Init/Marked: 1/6
% Events: 6
% Transitions: 9
% StateSymbols: 2
% Attrib. E/S/T: 6/6/0
%
<Alphabet>
"ye1" +YE+ "ye2" +YE+ "yl" +YL+
"ul1" +UL+ "ul2" +UL+ "ue" +UE+
</Alphabet>
<States>
"UlYeError" +ErrQUe+ "ErrorQYe" +ErrQYe+ 3 +QYe+
4 +QYlUe+ 5 +QUl+ 6 +QUe+
</States>
<TransRel>
3 "ye1" 4
3 "ye2" "UlYeError"
4 "yl" 5
5 "ul1" 6
5 "ul2" "UlYeError"
6 "ue" 3
"UlYeError" "ue" "ErrorQYe"
"ErrorQYe" "ye1" "UlYeError"
"ErrorQYe" "ye2" "UlYeError"
</TransRel>
<InitStates>
3
</InitStates>
<MarkedStates>
"UlYeError" "ErrorQYe" 3 4 5 6
</MarkedStates>
</Generator>