Example Data: tmp_hiocontroller_repaired.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"FreeInput(HioController)"
%
% Statistics for FreeInput(HioController)
%
% States: 6
% Init/Marked: 1/6
% Events: 6
% Transitions: 9
% StateSymbols: 2
% Attrib. E/S/T: 6/6/0
%
<Alphabet>
"yp1" +YP+ "yp2" +YP+ "yc" +YC+
"uc1" +UC+ "uc2" +UC+ "up" +UP+
</Alphabet>
<States>
"UcYpError" +ErrQUp+ "ErrorQYp" +ErrQYp+ 3 +QYp+
4 +QYcUp+ 5 +QUc+ 6 +QUp+
</States>
<TransRel>
3 "yp1" 4
3 "yp2" "UcYpError"
4 "yc" 5
5 "uc1" 6
5 "uc2" "UcYpError"
6 "up" 3
"UcYpError" "up" "ErrorQYp"
"ErrorQYp" "yp1" "UcYpError"
"ErrorQYp" "yp2" "UcYpError"
</TransRel>
<InitStates>
3
</InitStates>
<MarkedStates>
"UcYpError" "ErrorQYp" 3 4 5 6
</MarkedStates>
</Generator>