Example Data: tmp_hio_simpleIoShuffle_AB.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"IoShuffle(hio - simple machine Ahio - simple machine B)" 

% 
%  Statistics for IoShuffle(hio - simple machine Ahio - simple machine B)
% 
%  States:        33
%  Init/Marked:   1/17
%  Events:        12
%  Transitions:   94
%  StateSymbols:  33
%  Attrib. E/S/T: 12/33/0
% 

<Alphabet>
"A_wait"      +YP+          "A_do"        +UP+          "A_stp"       +UP+          
"A_req"       +YE+          "A_nack"      +UE+          "A_pack"      +UE+          
"B_wait"      +YP+          "B_do"        +UP+          "B_stp"       +UP+          
"B_prov"      +YE+          "B_nack"      +UE+          "B_pack"      +UE+          
</Alphabet>

<States>
"1|1|1"       +QYpYe+       "2|2|2"       +QUp+         "3|3|3"       +QUp+         
"3|errYp_Ye"  +QYpYe+       "3|5|1"       +QYpYe+       "3|1|1"       +QYpYe+       
"5|3|3"       +QUp+         "5|errYp_Ye"  +QYpYe+       "5|5|1"       +QYpYe+       
"5|1|1"       +QYpYe+       "5|7|3"       +QUe+         "5|errYp_Ye_1" +QYpYe+       
"5|errUe"     +QUe+         "2|errUp"     +QUp+         "5|errUp"     +QUp+         
"2|errYp_Ye"  +QYpYe+       "4|errUp"     +QUp+         "3|errUp"     +QUp+         
"4|errYp_Ye"  +QYpYe+       "3|7|3"       +QUe+         "3|errYp_Ye_1" +QYpYe+       
"3|errUe"     +QUe+         "2|12|1"      +QYpYe+       "2|1|1"       +QYpYe+       
"4|2|2"       +QUp+         "4|12|1"      +QYpYe+       "4|1|1"       +QYpYe+       
"4|13|2"      +QUe+         "4|errYp_Ye_1" +QYpYe+       "4|errUe"     +QUe+         
"2|13|2"      +QUe+         "2|errYp_Ye_1" +QYpYe+       "2|errUe"     +QUe+         
</States>

<TransRel>
"1|1|1"       "A_wait"      "2|2|2"       
"1|1|1"       "B_wait"      "3|3|3"       
"2|2|2"       "A_do"        "2|12|1"      
"2|2|2"       "A_stp"       "2|1|1"       
"2|2|2"       "B_do"        "2|errYp_Ye"  
"2|2|2"       "B_stp"       "2|errYp_Ye"  
"3|3|3"       "A_do"        "3|errYp_Ye"  
"3|3|3"       "A_stp"       "3|errYp_Ye"  
"3|3|3"       "B_do"        "3|5|1"       
"3|3|3"       "B_stp"       "3|1|1"       
"3|errYp_Ye"  "A_wait"      "2|errUp"     
"3|errYp_Ye"  "B_wait"      "5|errUp"     
"3|5|1"       "B_prov"      "3|7|3"       
"3|1|1"       "A_wait"      "2|2|2"       
"3|1|1"       "B_wait"      "5|3|3"       
"5|3|3"       "A_do"        "5|errYp_Ye"  
"5|3|3"       "A_stp"       "5|errYp_Ye"  
"5|3|3"       "B_do"        "5|5|1"       
"5|3|3"       "B_stp"       "5|1|1"       
"5|errYp_Ye"  "A_wait"      "2|errUp"     
"5|errYp_Ye"  "B_wait"      "5|errUp"     
"5|5|1"       "B_prov"      "5|7|3"       
"5|1|1"       "A_wait"      "2|2|2"       
"5|1|1"       "B_wait"      "5|3|3"       
"5|7|3"       "A_nack"      "5|errYp_Ye_1" 
"5|7|3"       "A_pack"      "5|errYp_Ye_1" 
"5|7|3"       "B_nack"      "5|5|1"       
"5|7|3"       "B_pack"      "5|1|1"       
"5|errYp_Ye_1" "A_req"       "5|errUe"     
"5|errYp_Ye_1" "B_prov"      "5|errUe"     
"5|errUe"     "A_nack"      "5|errYp_Ye_1" 
"5|errUe"     "A_pack"      "5|errYp_Ye_1" 
"5|errUe"     "B_nack"      "5|errYp_Ye_1" 
"5|errUe"     "B_pack"      "5|errYp_Ye_1" 
"2|errUp"     "A_do"        "2|errYp_Ye"  
"2|errUp"     "A_stp"       "2|errYp_Ye"  
"2|errUp"     "B_do"        "2|errYp_Ye"  
"2|errUp"     "B_stp"       "2|errYp_Ye"  
"5|errUp"     "A_do"        "5|errYp_Ye"  
"5|errUp"     "A_stp"       "5|errYp_Ye"  
"5|errUp"     "B_do"        "5|errYp_Ye"  
"5|errUp"     "B_stp"       "5|errYp_Ye"  
"2|errYp_Ye"  "A_wait"      "4|errUp"     
"2|errYp_Ye"  "B_wait"      "3|errUp"     
"4|errUp"     "A_do"        "4|errYp_Ye"  
"4|errUp"     "A_stp"       "4|errYp_Ye"  
"4|errUp"     "B_do"        "4|errYp_Ye"  
"4|errUp"     "B_stp"       "4|errYp_Ye"  
"3|errUp"     "A_do"        "3|errYp_Ye"  
"3|errUp"     "A_stp"       "3|errYp_Ye"  
"3|errUp"     "B_do"        "3|errYp_Ye"  
"3|errUp"     "B_stp"       "3|errYp_Ye"  
"4|errYp_Ye"  "A_wait"      "4|errUp"     
"4|errYp_Ye"  "B_wait"      "3|errUp"     
"3|7|3"       "A_nack"      "3|errYp_Ye_1" 
"3|7|3"       "A_pack"      "3|errYp_Ye_1" 
"3|7|3"       "B_nack"      "3|5|1"       
"3|7|3"       "B_pack"      "3|1|1"       
"3|errYp_Ye_1" "A_req"       "3|errUe"     
"3|errYp_Ye_1" "B_prov"      "3|errUe"     
"3|errUe"     "A_nack"      "3|errYp_Ye_1" 
"3|errUe"     "A_pack"      "3|errYp_Ye_1" 
"3|errUe"     "B_nack"      "3|errYp_Ye_1" 
"3|errUe"     "B_pack"      "3|errYp_Ye_1" 
"2|12|1"      "A_req"       "2|13|2"      
"2|1|1"       "A_wait"      "4|2|2"       
"2|1|1"       "B_wait"      "3|3|3"       
"4|2|2"       "A_do"        "4|12|1"      
"4|2|2"       "A_stp"       "4|1|1"       
"4|2|2"       "B_do"        "4|errYp_Ye"  
"4|2|2"       "B_stp"       "4|errYp_Ye"  
"4|12|1"      "A_req"       "4|13|2"      
"4|1|1"       "A_wait"      "4|2|2"       
"4|1|1"       "B_wait"      "3|3|3"       
"4|13|2"      "A_nack"      "4|12|1"      
"4|13|2"      "A_pack"      "4|1|1"       
"4|13|2"      "B_nack"      "4|errYp_Ye_1" 
"4|13|2"      "B_pack"      "4|errYp_Ye_1" 
"4|errYp_Ye_1" "A_req"       "4|errUe"     
"4|errYp_Ye_1" "B_prov"      "4|errUe"     
"4|errUe"     "A_nack"      "4|errYp_Ye_1" 
"4|errUe"     "A_pack"      "4|errYp_Ye_1" 
"4|errUe"     "B_nack"      "4|errYp_Ye_1" 
"4|errUe"     "B_pack"      "4|errYp_Ye_1" 
"2|13|2"      "A_nack"      "2|12|1"      
"2|13|2"      "A_pack"      "2|1|1"       
"2|13|2"      "B_nack"      "2|errYp_Ye_1" 
"2|13|2"      "B_pack"      "2|errYp_Ye_1" 
"2|errYp_Ye_1" "A_req"       "2|errUe"     
"2|errYp_Ye_1" "B_prov"      "2|errUe"     
"2|errUe"     "A_nack"      "2|errYp_Ye_1" 
"2|errUe"     "A_pack"      "2|errYp_Ye_1" 
"2|errUe"     "B_nack"      "2|errYp_Ye_1" 
"2|errUe"     "B_pack"      "2|errYp_Ye_1" 
</TransRel>

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

<MarkedStates>
"1|1|1"       "2|2|2"       "3|3|3"       "3|errYp_Ye"  "3|5|1"       "3|1|1"       
"2|errUp"     "2|errYp_Ye"  "3|errUp"     "3|7|3"       "3|errYp_Ye_1" "3|errUe"     
"2|12|1"      "2|1|1"       "2|13|2"      "2|errYp_Ye_1" "2|errUe"     
</MarkedStates>


</Generator>