Example Data: tmp_hio_controller_intro.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"Project(HioSynth(PrefixClosure(IoShuffle(Si... Machine_2)) [minstate],Generator))" 

% 
%  Statistics for Project(HioSynth(PrefixClosure(IoShuffle(Si... Machine_2)) [minstate],Generator))
% 
%  States:        15
%  Init/Marked:   1/15
%  Events:        8
%  Transitions:   42
%  StateSymbols:  0
%  Attrib. E/S/T: 8/0/0
% 

<Alphabet>
"alpha_1"     +UP+          "beta_1"      +YP+          "no_op_1"     +UP+          
"idle_1"      +YP+          "alpha_2"     +UP+          "beta_2"      +YP+          
"no_op_2"     +UP+          "idle_2"      +YP+          
</Alphabet>

<States>
<Consecutive>
1             15            
</Consecutive>
</States>

<TransRel>
2             "alpha_1"     3             
2             "no_op_1"     3             
2             "alpha_2"     3             
2             "no_op_2"     3             
3             "beta_1"      2             
3             "idle_1"      2             
3             "beta_2"      2             
3             "idle_2"      2             
4             "no_op_1"     9             
5             "alpha_2"     12            
5             "no_op_2"     9             
6             "alpha_1"     8             
6             "no_op_1"     1             
7             "no_op_2"     8             
8             "beta_1"      4             
8             "idle_1"      2             
8             "beta_2"      2             
8             "idle_2"      7             
9             "beta_1"      2             
9             "idle_1"      4             
9             "beta_2"      2             
9             "idle_2"      5             
10            "beta_1"      15            
10            "idle_1"      2             
10            "beta_2"      7             
10            "idle_2"      2             
11            "beta_1"      2             
11            "idle_1"      15            
11            "beta_2"      5             
11            "idle_2"      2             
1             "beta_1"      2             
1             "idle_1"      6             
1             "beta_2"      2             
1             "idle_2"      14            
12            "beta_1"      2             
12            "idle_1"      13            
12            "beta_2"      14            
12            "idle_2"      2             
13            "alpha_1"     10            
13            "no_op_1"     12            
14            "no_op_2"     1             
15            "no_op_1"     11            
</TransRel>

<InitStates>
1             
</InitStates>

<MarkedStates>
<Consecutive>
1             15            
</Consecutive>
</MarkedStates>


</Generator>