Example Data: tmp_hio_tu_IOcontrollerEF.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"Controller AB__EF__E__F" 

% 
%  Statistics for Controller AB__EF__E__F
% 
%  States:        25
%  Init/Marked:   1/25
%  Events:        9
%  Transitions:   42
%  StateSymbols:  0
%  Attrib. E/S/T: 9/0/0
% 

<Alphabet>
l2r_A         +UP+          stby_A        +UP+          idle_B        +YP+         
l2r_B         +UP+          stby_B        +UP+          idle_AB       +YC+         
l2r_AB        +UC+          stby_AB       +UC+          idle_E        +YP+         
</Alphabet>

<States>
<Consecutive>
1              25            
</Consecutive>
</States>

<TransRel>
2              idle_B        10            
2              idle_E        3             
3              l2r_A         15            
3              stby_A        2             
4              stby_A        18            
4              idle_AB       11            
5              l2r_A         15            
6              l2r_B         12            
7              stby_B        17            
7              idle_AB       16            
8              idle_AB       16            
9              stby_A        15            
10             stby_B        14            
11             l2r_AB        3             
11             stby_AB       21            
12             idle_B        23            
12             idle_E        19            
13             l2r_AB        5             
13             stby_AB       21            
14             idle_B        10            
14             idle_E        5             
15             idle_B        6             
15             idle_E        9             
16             l2r_AB        10            
16             stby_AB       20            
17             idle_B        7             
17             idle_E        22            
18             idle_B        8             
18             idle_E        4             
19             stby_A        18            
19             idle_AB       13            
20             stby_B        12            
21             stby_A        25            
22             idle_AB       13            
23             stby_B        12            
23             idle_AB       16            
24             stby_A        25            
24             idle_AB       11            
25             idle_B        7             
25             idle_E        24            
1              idle_B        7             
1              idle_E        19            
</TransRel>

<InitStates>
1             
</InitStates>

<MarkedStates>
<Consecutive>
1              25            
</Consecutive>
</MarkedStates>


</Generator>

 

 

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