Example Data: tmp_hio_tu_full_loop_A.gen

Dot-processed graph as SVG-image

Token IO

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

% 
%  Statistics for HioSynth(Transport Unit A,Specification A)||Transport Unit A
% 
%  States:        11
%  Init/Marked:   1/11
%  Events:        12
%  Transitions:   14
%  StateSymbols:  0
%  Attrib. E/S/T: 0/0/0
% 

<Alphabet>
no_op_A       del_tr_A      take_fl_A     empty_A       full_A        nack_A       
pack_A        req_fl_A      req_tr_A      idle_A        l2r_A         stby_A       
</Alphabet>

<States>
<Consecutive>
1              11            
</Consecutive>
</States>

<TransRel>
1              empty_A       2             
2              idle_A        3             
3              l2r_A         4             
3              stby_A        5             
4              take_fl_A     6             
5              no_op_A       1             
6              req_fl_A      7             
7              nack_A        6             
7              pack_A        8             
8              full_A        9             
9              del_tr_A      10            
10             req_tr_A      11            
11             nack_A        10            
11             pack_A        1             
</TransRel>

<InitStates>
1             
</InitStates>

<MarkedStates>
<Consecutive>
1              11            
</Consecutive>
</MarkedStates>


</Generator>

 

 

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