Example Data: tmp_hio_tu_plantF.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"Transport Unit A__F" 

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

<Alphabet>
"no_op_F"     +UP+          "del_tr_F"    +UP+          "take_fl_F"   +UP+          
"empty_F"     +YP+          "full_F"      +YP+          "nack_F"      +UE+          
"pack_F"      +UE+          "req_fl_F"    +YE+          "req_tr_F"    +YE+          
</Alphabet>

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

<TransRel>
"1"           "empty_F"     "2"           
"2"           "no_op_F"     "1"           
"2"           "del_tr_F"    "Err"         
"2"           "take_fl_F"   "3"           
"3"           "req_fl_F"    "4"           
"4"           "nack_F"      "3"           
"4"           "pack_F"      "5"           
"5"           "full_F"      "6"           
"6"           "no_op_F"     "5"           
"6"           "del_tr_F"    "7"           
"6"           "take_fl_F"   "Err"         
"7"           "req_tr_F"    "8"           
"8"           "nack_F"      "7"           
"8"           "pack_F"      "1"           
</TransRel>

<InitStates>
"1"           
</InitStates>

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


</Generator>