Example Data: tmp_hio_closedloop_intro.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"Project(PrefixClosure(IoShuffle(Simple Mach...Machine_2)) [minstate],Generator)))" 

% 
%  Statistics for Project(PrefixClosure(IoShuffle(Simple Mach...Machine_2)) [minstate],Generator)))
% 
%  States:        13
%  Init/Marked:   1/13
%  Events:        8
%  Transitions:   22
%  StateSymbols:  0
%  Attrib. E/S/T: 0/0/0
% 

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

<States>
<Consecutive>
1             13            
</Consecutive>
</States>

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

<InitStates>
1             
</InitStates>

<MarkedStates>
<Consecutive>
1             13            
</Consecutive>
</MarkedStates>


</Generator>