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