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>