FG DES libFAUDES DESTool	LRT >> EEI >>
About User Reference C++ API luafaudes Developer Links

Example Data: tmp_omg_rtrims.gen

Dot-processed graph as SVG-image

Token IO

<Generator name="G" ftype="RabinAutomaton">

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

<Alphabet>
a            
</Alphabet>

<States>
N0#1          A1#5          A2_R#6        A3#7          AB4#8         B2_R#11      
B3#12         B4#13        
</States>

<TransRel>
N0            a             A1           
A1            a             A2_R         
A2_R          a             A1           
A2_R          a             A3           
A3            a             AB4          
AB4           a             B2_R         
B2_R          a             AB4          
B2_R          a             B3           
B3            a             B4           
B4            a             AB4          
</TransRel>

<InitStates>
N0           
</InitStates>

<MarkedStates/>
<RabinAcceptance>
<RabinPair name="A">
<R>
A2_R         
</R>
<I>
A1            A2_R         
</I>
</RabinPair>
<RabinPair name="B">
<R>
B2_R         
</R>
<I>
AB4           B2_R          B3            B4           
</I>
</RabinPair>
<RabinPair name="C">
<R/>
<I/>
</RabinPair>
</RabinAcceptance>

</Generator>

 

 

libFAUDES 2.33l --- 2025.09.16 --- with "omegaaut-synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-priorities-luabindings-hybrid-example-pybindings"