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>