Example Data: tmp_deterministic_det.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
Det(g_nondet) 

% 
%  Statistics for Det(g_nondet)
% 
%  States:        6
%  Init/Marked:   1/2
%  Events:        11
%  Transitions:   9
%  StateSymbols:  6
%  Attrib. E/S/T: 0/0/0
% 

<Alphabet>
f             g             h             i             a             b            
d             e             j             k             m            
</Alphabet>

<States>
"{1}"         "{2}"         "{5}"         "{3,4}"       "{6}"         "{4}"        
</States>

<TransRel>
"{1}"         a             "{2}"        
"{1}"         e             "{5}"        
"{2}"         f             "{5}"        
"{2}"         b             "{3,4}"      
"{5}"         g             "{6}"        
"{3,4}"       d             "{4}"        
"{3,4}"       e             "{1}"        
"{6}"         h             "{5}"        
"{4}"         e             "{1}"        
</TransRel>

<InitStates>
"{1}"        
</InitStates>

<MarkedStates>
"{3,4}"       "{4}"        
</MarkedStates>


</Generator>

 

 

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