Example Data: tmp_hio_cb_test.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"spec_A||LC_A" 

% 
%  Statistics for spec_A||LC_A
% 
%  States:        14
%  Init/Marked:   1/14
%  Events:        15
%  Transitions:   19
%  StateSymbols:  14
%  Attrib. E/S/T: 0/0/0
% 

<Alphabet>
"A_reqfl"     "A_reqfr"     "A_occfr"     "A_occfl"     "A_freetl"    "A_freetr"    
"A_nack"      "A_pack"      "A_STP"       "A_TR"        "A_FL"        "A_WAIT"      
"A_FULL"      "A_ARRTL"     "A_ARRTR"     
</Alphabet>

<States>
"1|1"         "4|2"         "8|1"         "13|1"        "7|1"         "6|3"         
"11|4"        "14|4"        "10|4"        "2|5"         "9|1"         "16|6"        
"12|1"        "15|1"        
</States>

<TransRel>
"1|1"         "A_WAIT"      "4|2"         
"4|2"         "A_STP"       "1|1"         
"4|2"         "A_FL"        "8|1"         
"8|1"         "A_reqfl"     "13|1"        
"13|1"        "A_nack"      "8|1"         
"13|1"        "A_pack"      "7|1"         
"7|1"         "A_FULL"      "6|3"         
"6|3"         "A_STP"       "11|4"        
"11|4"        "A_occfl"     "14|4"        
"14|4"        "A_nack"      "11|4"        
"14|4"        "A_pack"      "10|4"        
"10|4"        "A_WAIT"      "2|5"         
"2|5"         "A_STP"       "10|4"        
"2|5"         "A_TR"        "9|1"         
"9|1"         "A_ARRTR"     "16|6"        
"16|6"        "A_STP"       "12|1"        
"12|1"        "A_freetr"    "15|1"        
"15|1"        "A_nack"      "12|1"        
"15|1"        "A_pack"      "1|1"         
</TransRel>

<InitStates>
"1|1"         
</InitStates>

<MarkedStates>
"1|1"         "4|2"         "8|1"         "13|1"        "7|1"         "6|3"         
"11|4"        "14|4"        "10|4"        "2|5"         "9|1"         "16|6"        
"12|1"        "15|1"        
</MarkedStates>


</Generator>