Example Data: tmp_diag_system_4_decentralized_c1.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
Generator    

% 
%  Statistics for Generator
% 
%  States:        11
%  Init/Marked:   1/11
%  Events:        8
%  Transitions:   14
%  StateSymbols:  11
%  Attrib. E/S/T: 4/0/0
% 

<Alphabet>
sf-c1         pass          +o+           block         +o+           c1a          
c1mv          +C+           c1s           +C+           c1l           timer        
</Alphabet>

<States>
c1            c2            c3            c4            c5            c6           
c7            c8            c9            c10           c11          
</States>

<TransRel>
c1            sf-c1         c2           
c1            block         c8           
c2            pass          c4           
c2            block         c9           
c2            c1mv          c3           
c3            pass          c5           
c3            block         c10          
c4            c1mv          c5           
c5            c1a           c6           
c6            c1s           c7           
c7            c1l           c1           
c8            sf-c1         c9           
c9            c1mv          c10          
c10           timer         c11          
</TransRel>

<InitStates>
c1           
</InitStates>

<MarkedStates>
c1            c2            c3            c4            c5            c6           
c7            c8            c9            c10           c11          
</MarkedStates>


</Generator>

 

 

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