Example Data: tmp_omg_2_wsuper2.gen

Dot-processed graph as SVG-image

Token IO

<Generator name="SupBuechiCon((wPlant2),(wSpec2))">

% 
%  Statistics for SupBuechiCon((wPlant2),(wSpec2))
% 
%  States:        23
%  Init/Marked:   1/2
%  Events:        5
%  Transitions:   36
%  StateSymbols:  0
%  Attrib. E/S/T: 0/0/0
% 

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

<States>
<Consecutive>
1              23            
</Consecutive>
</States>

<TransRel>
1              a             2             
1              b             3             
2              c             19            
3              d             4             
4              d             4             
4              f             5             
5              a             6             
5              b             7             
6              c             8             
7              d             4             
8              c             9             
8              f             10            
9              c             9             
9              f             23            
10             a             11            
10             b             12            
11             c             19            
12             d             13            
13             d             14            
13             f             15            
14             d             14            
14             f             18            
15             a             16            
15             b             17            
16             c             8             
17             d             4             
18             a             6             
18             b             7             
19             c             19            
19             f             20            
20             a             21            
20             b             22            
21             c             19            
22             d             13            
23             a             21            
23             b             22            
</TransRel>

<InitStates>
1             
</InitStates>

<MarkedStates>
8              13            
</MarkedStates>


</Generator>

 

 

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