Example Data: tmp_hio_simpleHioShuffle_AB.gen

Dot-processed graph as SVG-image

Token IO

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

% 
%  Statistics for HioShuffle(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>

 

 

libFAUDES 2.32f --- 2024.12.22 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings"