Example Data: tmp_diag_system_4_decentralized_sf.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
R_sf(0)      

% 
%  Statistics for R_sf(0)
% 
%  States:        15
%  Init/Marked:   1/15
%  Events:        8
%  Transitions:   20
%  StateSymbols:  15
%  Attrib. E/S/T: 6/0/0
% 

<Alphabet>
sf-c1         +C+           sfa           sfmv          +C+           pass         
+o+           sfl           sfs           +C+           block         +o+          
diag          +o+          
</Alphabet>

<States>
sf1           sf2           sf3           sf4           sf5           sf6          
sf7           sf8           sf9           sf10          sf11          sf12         
sf13          sf14          sf15         
</States>

<TransRel>
sf1           sfa           sf2          
sf2           sf-c1         sf3          
sf2           block         sf9          
sf2           diag          sf12         
sf3           sfmv          sf4          
sf3           block         sf10         
sf4           sfl           sf5          
sf4           block         sf11         
sf5           sfa           sf6          
sf5           pass          sf8          
sf6           pass          sf7          
sf7           sfs           sf2          
sf8           sfa           sf7          
sf8           sfs           sf1          
sf9           sf-c1         sf10         
sf10          sfmv          sf11         
sf12          sf-c1         sf13         
sf13          sfmv          sf14         
sf14          sfl           sf15         
sf15          sfa           sf14         
</TransRel>

<InitStates>
sf1          
</InitStates>

<MarkedStates>
sf1           sf2           sf3           sf4           sf5           sf6          
sf7           sf8           sf9           sf10          sf11          sf12         
sf13          sf14          sf15         
</MarkedStates>


</Generator>

 

 

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