Example Data: tmp_hio_ioshuffle_intro.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"IoShuffle(Simple Machine_1,Simple Machine_2)" 

% 
%  Statistics for IoShuffle(Simple Machine_1,Simple Machine_2)
% 
%  States:        10
%  Init/Marked:   1/10
%  Events:        8
%  Transitions:   32
%  StateSymbols:  0
%  Attrib. E/S/T: 12/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             10            
</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             "idle_1"      7             
4             "beta_2"      8             
5             "beta_1"      7             
5             "beta_2"      10            
1             "idle_1"      9             
1             "idle_2"      8             
6             "beta_1"      9             
6             "idle_2"      10            
7             "alpha_1"     5             
7             "no_op_1"     4             
7             "alpha_2"     3             
7             "no_op_2"     3             
8             "alpha_1"     3             
8             "no_op_1"     3             
8             "alpha_2"     4             
8             "no_op_2"     1             
9             "alpha_1"     6             
9             "no_op_1"     1             
9             "alpha_2"     3             
9             "no_op_2"     3             
10            "alpha_1"     3             
10            "no_op_1"     3             
10            "alpha_2"     5             
10            "no_op_2"     6             
</TransRel>

<InitStates>
1             
</InitStates>

<MarkedStates>
<Consecutive>
1             10            
</Consecutive>
</MarkedStates>


</Generator>