Example Data: tmp_hio_simpleController_AB.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"HioSynth(HioShuffle(hio - simple machine Ahi...ine B)||hio - simple environment AB,hio - simple specification AB)" 

% 
%  Statistics for HioSynth(HioShuffle(hio - simple machine Ahi...ine B)||hio - simple environment AB,hio - simple specification AB)
% 
%  States:        43
%  Init/Marked:   1/43
%  Events:        9
%  Transitions:   79
%  StateSymbols:  0
%  Attrib. E/S/T: 9/43/0
% 

<Alphabet>
A_wait        +YP+          A_do          +UP+          A_stp         +UP+         
B_wait        +YP+          B_do          +UP+          B_stp         +UP+         
AB_WAIT       +YC+          AB_STANDBY    +UC+          AB_OPERATE    +UC+         
</Alphabet>

<States>
1              +QYp+         2              +QYp+         3              +QUp+        
4              +QYcUp+       5              +QUp+         6              +QYcUp+      
7              +QYcUp+       8              +QYcUp+       9              +QYcUp+      
10             +QUp+         11             +QUp+         12             +QUp+        
13             +QUp+         14             +QUc+         15             +QYp+        
16             +QUc+         17             +QYp+         18             +QYp+        
19             +QUc+         20             +QYp+         21             +QYp+        
22             +QYp+         23             +QYp+         24             +QYp+        
25             +QUc+         26             +QYp+         27             +QUc+        
28             +QUc+         29             +QYcUp+       30             +QYp+        
31             +QUp+         32             +QYcUp+       33             +QYcUp+      
34             +QUp+         35             +QYp+         36             +QYcUp+      
37             +QYcUp+       38             +QUp+         39             +QYcUp+      
40             +QYcUp+       41             +QYcUp+       42             +QUp+        
43             +QYcUp+      
</States>

<TransRel>
2              A_wait        3             
2              B_wait        12            
3              A_do          35            
3              A_stp         2             
4              A_stp         24            
4              AB_WAIT       14            
5              A_do          35            
6              B_do          30            
6              B_stp         15            
6              AB_WAIT       25            
7              B_stp         21            
7              AB_WAIT       27            
8              B_do          30            
8              AB_WAIT       28            
9              AB_WAIT       16            
10             A_stp         35            
11             B_do          30            
11             B_stp         15            
12             B_stp         17            
13             B_do          17            
14             AB_STANDBY    42            
14             AB_OPERATE    3             
15             A_wait        37            
15             B_wait        6             
16             AB_STANDBY    42            
16             AB_OPERATE    5             
17             A_wait        5             
17             B_wait        12            
18             A_wait        36            
18             B_wait        43            
19             AB_STANDBY    10            
19             AB_OPERATE    31            
20             A_wait        41            
20             B_wait        7             
21             A_wait        9             
21             B_wait        7             
22             A_wait        37            
22             B_wait        8             
23             A_wait        31            
23             B_wait        34            
24             A_wait        4             
24             B_wait        39            
25             AB_STANDBY    11            
25             AB_OPERATE    34            
26             A_wait        31            
26             B_wait        13            
27             AB_STANDBY    38            
27             AB_OPERATE    12            
28             AB_STANDBY    11            
28             AB_OPERATE    13            
29             A_stp         35            
29             AB_WAIT       19            
30             A_wait        32            
30             B_wait        40            
31             A_stp         26            
32             A_stp         24            
32             AB_WAIT       16            
33             B_do          30            
33             B_stp         18            
33             AB_WAIT       28            
34             B_do          17            
34             B_stp         23            
35             A_wait        29            
35             B_wait        33            
36             AB_WAIT       19            
37             A_stp         22            
37             AB_WAIT       19            
38             B_stp         30            
39             AB_WAIT       27            
40             B_stp         30            
40             AB_WAIT       27            
41             A_stp         20            
41             AB_WAIT       14            
42             A_stp         20            
43             B_do          30            
43             B_stp         18            
43             AB_WAIT       25            
1              A_wait        37            
1              B_wait        33            
</TransRel>

<InitStates>
1             
</InitStates>

<MarkedStates>
1              2              3              4              5              6             
7              8              9              10             11             12            
13             14             15             16             17             18            
19             20             21             22             23             24            
25             26             27             28             29             30            
31             32             33             34             35             36            
37             38             39             40             41             42            
43            
</MarkedStates>


</Generator>

 

 

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