Example Data: tmp_hio_tu_IOcontrollerCD.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"Controller AB__CD__C__D" 

% 
%  Statistics for Controller AB__CD__C__D
% 
%  States:        25
%  Init/Marked:   1/25
%  Events:        9
%  Transitions:   42
%  StateSymbols:  0
%  Attrib. E/S/T: 9/0/0
% 

<Alphabet>
"l2r_A"       +UP+          "stby_A"      +UP+          "idle_B"      +YP+          
"l2r_B"       +UP+          "stby_B"      +UP+          "idle_AB"     +YC+          
"l2r_AB"      +UC+          "stby_AB"     +UC+          "idle_C"      +YP+          
</Alphabet>

<States>
<Consecutive>
1             25            
</Consecutive>
</States>

<TransRel>
2             "idle_B"      10            
2             "idle_C"      3             
3             "l2r_A"       15            
3             "stby_A"      2             
4             "stby_A"      18            
4             "idle_AB"     11            
5             "l2r_A"       15            
6             "l2r_B"       12            
7             "stby_B"      17            
7             "idle_AB"     16            
8             "idle_AB"     16            
9             "stby_A"      15            
10            "stby_B"      14            
11            "l2r_AB"      3             
11            "stby_AB"     21            
12            "idle_B"      23            
12            "idle_C"      19            
13            "l2r_AB"      5             
13            "stby_AB"     21            
14            "idle_B"      10            
14            "idle_C"      5             
15            "idle_B"      6             
15            "idle_C"      9             
16            "l2r_AB"      10            
16            "stby_AB"     20            
17            "idle_B"      7             
17            "idle_C"      22            
18            "idle_B"      8             
18            "idle_C"      4             
19            "stby_A"      18            
19            "idle_AB"     13            
20            "stby_B"      12            
21            "stby_A"      25            
22            "idle_AB"     13            
23            "stby_B"      12            
23            "idle_AB"     16            
24            "stby_A"      25            
24            "idle_AB"     11            
25            "idle_B"      7             
25            "idle_C"      24            
1             "idle_B"      7             
1             "idle_C"      19            
</TransRel>

<InitStates>
1             
</InitStates>

<MarkedStates>
<Consecutive>
1             25            
</Consecutive>
</MarkedStates>


</Generator>