Example Data: tmp_hio_tu_full_loop_A.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"HioSynth(Transport Unit A,Specification A)||Transport Unit A" 

% 
%  Statistics for HioSynth(Transport Unit A,Specification A)||Transport Unit A
% 
%  States:        11
%  Init/Marked:   1/11
%  Events:        12
%  Transitions:   14
%  StateSymbols:  0
%  Attrib. E/S/T: 0/0/0
% 

<Alphabet>
"no_op_A"     "del_tr_A"    "take_fl_A"   "empty_A"     "full_A"      "nack_A"      
"pack_A"      "req_fl_A"    "req_tr_A"    "idle_A"      "l2r_A"       "stby_A"      
</Alphabet>

<States>
<Consecutive>
1             11            
</Consecutive>
</States>

<TransRel>
1             "empty_A"     2             
2             "idle_A"      3             
3             "l2r_A"       4             
3             "stby_A"      5             
4             "take_fl_A"   6             
5             "no_op_A"     1             
6             "req_fl_A"    7             
7             "nack_A"      6             
7             "pack_A"      8             
8             "full_A"      9             
9             "del_tr_A"    10            
10            "req_tr_A"    11            
11            "nack_A"      10            
11            "pack_A"      1             
</TransRel>

<InitStates>
1             
</InitStates>

<MarkedStates>
<Consecutive>
1             11            
</Consecutive>
</MarkedStates>


</Generator>