Example Data: tmp_omg_2_wspec2.gen

Dot-processed graph as SVG-image

Token IO

<Generator name="wSpec2">

% 
%  Statistics for wSpec2
% 
%  States:        7
%  Init/Marked:   1/2
%  Events:        5
%  Transitions:   30
%  StateSymbols:  7
%  Attrib. E/S/T: 0/0/0
% 

<Alphabet>
a             b             c             d             f            
</Alphabet>

<States>
N             C1            C2            C3            D1            D2           
D3           
</States>

<TransRel>
N             a             N            
N             b             N            
N             c             C1           
N             d             D1           
C1            a             C1           
C1            b             C1           
C1            c             C1           
C1            d             C2           
C1            f             C1           
C2            a             C2           
C2            b             C2           
C2            d             D1           
C2            f             C3           
C3            a             C3           
C3            b             C3           
C3            c             D2           
C3            d             D1           
D1            a             D1           
D1            b             D1           
D1            c             D2           
D1            d             D1           
D1            f             D1           
D2            a             D2           
D2            b             D2           
D2            c             C1           
D2            f             D3           
D3            a             D3           
D3            b             D3           
D3            c             C1           
D3            d             C2           
</TransRel>

<InitStates>
N            
</InitStates>

<MarkedStates>
C2            D2           
</MarkedStates>


</Generator>

 

 

libFAUDES 2.33h --- 2025.06.18 --- with "omegaaut-synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-priorities-luabindings"