Example Data: tmp_hio_tu_IOcontrollerA_H.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"Controller AB__a_H__ABCD__EFGH__A_H" 

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

<Alphabet>
"idle_ABCD"   +YP+          "l2r_ABCD"    +UP+          "stby_ABCD"   +UP+          
"idle_EFGH"   +YP+          "l2r_EFGH"    +UP+          "stby_EFGH"   +UP+          
"idle_A_H"    +YC+          "l2r_A_H"     +UC+          "stby_A_H"    +UC+          
</Alphabet>

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

<TransRel>
2             "idle_ABCD"   3             
2             "idle_EFGH"   10            
3             "l2r_ABCD"    15            
3             "stby_ABCD"   2             
4             "stby_ABCD"   18            
4             "idle_A_H"    11            
5             "l2r_ABCD"    15            
6             "l2r_EFGH"    12            
7             "stby_EFGH"   17            
7             "idle_A_H"    16            
8             "idle_A_H"    16            
9             "stby_ABCD"   15            
10            "stby_EFGH"   14            
11            "l2r_A_H"     3             
11            "stby_A_H"    21            
12            "idle_ABCD"   19            
12            "idle_EFGH"   23            
13            "l2r_A_H"     5             
13            "stby_A_H"    21            
14            "idle_ABCD"   5             
14            "idle_EFGH"   10            
15            "idle_ABCD"   9             
15            "idle_EFGH"   6             
16            "l2r_A_H"     10            
16            "stby_A_H"    20            
17            "idle_ABCD"   22            
17            "idle_EFGH"   7             
18            "idle_ABCD"   4             
18            "idle_EFGH"   8             
19            "stby_ABCD"   18            
19            "idle_A_H"    13            
20            "stby_EFGH"   12            
21            "stby_ABCD"   25            
22            "idle_A_H"    13            
23            "stby_EFGH"   12            
23            "idle_A_H"    16            
24            "stby_ABCD"   25            
24            "idle_A_H"    11            
25            "idle_ABCD"   24            
25            "idle_EFGH"   7             
1             "idle_ABCD"   19            
1             "idle_EFGH"   7             
</TransRel>

<InitStates>
1             
</InitStates>

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


</Generator>