Example Data: tmp_hio_closedloop_intro.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"Project(PrefixClosure(HioShuffle(Simple Mac...Machine_2)) [minstate],Generator)))" 

% 
%  Statistics for Project(PrefixClosure(HioShuffle(Simple Mac...Machine_2)) [minstate],Generator)))
% 
%  States:        13
%  Init/Marked:   1/13
%  Events:        8
%  Transitions:   22
%  StateSymbols:  0
%  Attrib. E/S/T: 0/0/0
% 

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

<States>
<Consecutive>
1              13            
</Consecutive>
</States>

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

<InitStates>
1             
</InitStates>

<MarkedStates>
<Consecutive>
1              13            
</Consecutive>
</MarkedStates>


</Generator>

 

 

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