Example Data: tmp_hio_tu_plantG.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"Transport Unit A__G" 

% 
%  Statistics for Transport Unit A__G
% 
%  States:        10
%  Init/Marked:   1/10
%  Events:        9
%  Transitions:   14
%  StateSymbols:  10
%  Attrib. E/S/T: 9/0/0
% 

<Alphabet>
"del_tr_A"    +UP+          "take_fl_A"   +UP+          "empty_A"     +YP+          
"full_A"      +YP+          "nack_A"      +UE+          "pack_A"      +UE+          
"req_fl_A"    +YE+          "req_tr_A"    +YE+          "no_op_G"     +UP+          
</Alphabet>

<States>
"1"           "2"           "3"           "4"           "5"           "6"           
"7"           "8"           "9"           "Err"         
</States>

<TransRel>
"1"           "empty_A"     "2"           
"2"           "del_tr_A"    "Err"         
"2"           "take_fl_A"   "3"           
"2"           "no_op_G"     "1"           
"3"           "req_fl_A"    "4"           
"4"           "nack_A"      "3"           
"4"           "pack_A"      "5"           
"5"           "full_A"      "6"           
"6"           "del_tr_A"    "7"           
"6"           "take_fl_A"   "Err"         
"6"           "no_op_G"     "5"           
"7"           "req_tr_A"    "8"           
"8"           "nack_A"      "7"           
"8"           "pack_A"      "1"           
</TransRel>

<InitStates>
"1"           
</InitStates>

<MarkedStates>
"1"           "2"           "3"           "4"           "5"           "6"           
"7"           "8"           "9"           "Err"         
</MarkedStates>


</Generator>