Example Data: tmp_hioenvironment_repaired.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
HioFreeInput(HioEnvironment) 

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

<Alphabet>
ye1           +YE+          ye2           +YE+          yl            +YL+         
ul1           +UL+          ul2           +UL+          ue            +UE+         
</Alphabet>

<States>
UlYeError     +ErrQUe+      ErrorQYe      +ErrQYe+      3              +QYe+        
4              +QYlUe+       5              +QUl+         6              +QUe+        
</States>

<TransRel>
3              ye1           4             
3              ye2           UlYeError    
4              yl            5             
5              ul1           6             
5              ul2           UlYeError    
6              ue            3             
UlYeError     ue            ErrorQYe     
ErrorQYe      ye1           UlYeError    
ErrorQYe      ye2           UlYeError    
</TransRel>

<InitStates>
3             
</InitStates>

<MarkedStates>
UlYeError     ErrorQYe      3              4              5              6             
</MarkedStates>


</Generator>

 

 

libFAUDES 2.32f --- 2024.12.22 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings"