Example Data: tmp_hio_ioshuffle_intro.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"HioShuffle(Simple Machine_1,Simple Machine_2)" 

% 
%  Statistics for HioShuffle(Simple Machine_1,Simple Machine_2)
% 
%  States:        10
%  Init/Marked:   1/10
%  Events:        8
%  Transitions:   32
%  StateSymbols:  0
%  Attrib. E/S/T: 12/0/0
% 

<Alphabet>
alpha_1       +UP+          beta_1        +YP+          no_op_1       +UP+         
idle_1        +YP+          alpha_2       +UP+          beta_2        +YP+         
no_op_2       +UP+          idle_2        +YP+         
</Alphabet>

<States>
<Consecutive>
1              10            
</Consecutive>
</States>

<TransRel>
2              alpha_1       3             
2              no_op_1       3             
2              alpha_2       3             
2              no_op_2       3             
3              beta_1        2             
3              idle_1        2             
3              beta_2        2             
3              idle_2        2             
4              idle_1        7             
4              beta_2        8             
5              beta_1        7             
5              beta_2        10            
1              idle_1        9             
1              idle_2        8             
6              beta_1        9             
6              idle_2        10            
7              alpha_1       5             
7              no_op_1       4             
7              alpha_2       3             
7              no_op_2       3             
8              alpha_1       3             
8              no_op_1       3             
8              alpha_2       4             
8              no_op_2       1             
9              alpha_1       6             
9              no_op_1       1             
9              alpha_2       3             
9              no_op_2       3             
10             alpha_1       3             
10             no_op_1       3             
10             alpha_2       5             
10             no_op_2       6             
</TransRel>

<InitStates>
1             
</InitStates>

<MarkedStates>
<Consecutive>
1              10            
</Consecutive>
</MarkedStates>


</Generator>

 

 

libFAUDES 2.32b --- 2024.03.08 --- with "synthesis-observer-diagnosis-iosystem-hiosys-multitasking-coordinationcontrol-timed-iodevice-simulator-luabindings"