Example Data: tmp_diag_specification_3_modular_sf.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
R_sf(0)      

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

<Alphabet>
sf-c1         +C+           sfa           sfmv          +C+           pass         
+o+           sfl           sfs           +C+           f_pjm         +o+          
t_sf         
</Alphabet>

<States>
sf1           sf2           sf3           sf4           sf5           sf6          
sf7           sf8          
</States>

<TransRel>
sf1           sfa           sf2          
sf2           sf-c1         sf3          
sf3           sfmv          sf4          
sf4           sfl           sf5          
sf5           sfa           sf6          
sf5           pass          sf8          
sf6           pass          sf7          
sf7           sfs           sf2          
sf8           sfa           sf7          
sf8           sfs           sf1          
</TransRel>

<InitStates>
sf1          
</InitStates>

<MarkedStates>
sf1           sf2           sf3           sf4           sf5           sf6          
sf7           sf8          
</MarkedStates>


</Generator>

 

 

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