Example Data: tmp_hio_tu_IOcontroller_A.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"HioSynth(Transport Unit A,Specification A)" 

% 
%  Statistics for HioSynth(Transport Unit A,Specification A)
% 
%  States:        9
%  Init/Marked:   1/9
%  Events:        8
%  Transitions:   15
%  StateSymbols:  0
%  Attrib. E/S/T: 8/9/0
% 

<Alphabet>
no_op_A       +UP+          del_tr_A      +UP+          take_fl_A     +UP+         
empty_A       +YP+          full_A        +YP+          idle_A        +YC+         
l2r_A         +UC+          stby_A        +UC+         
</Alphabet>

<States>
1              +QYp+         2              +QUp+         3              +QUp+        
4              +QUp+         5              +QUp+         6              +QYp+        
7              +QYcUp+       8              +QUc+         9              +QYp+        
</States>

<TransRel>
2              no_op_A       6             
2              del_tr_A      6             
2              take_fl_A     6             
3              del_tr_A      1             
4              no_op_A       1             
5              take_fl_A     9             
6              empty_A       2             
6              full_A        2             
7              idle_A        8             
8              l2r_A         5             
8              stby_A        4             
1              empty_A       7             
1              full_A        2             
9              empty_A       2             
9              full_A        3             
</TransRel>

<InitStates>
1             
</InitStates>

<MarkedStates>
1              2              3              4              5              6             
7              8              9             
</MarkedStates>


</Generator>

 

 

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