Example Data: tmp_hio_simpleController_A.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"HioSynth(hio - simple machine A,hio - simple specification A)" 

% 
%  Statistics for HioSynth(hio - simple machine A,hio - simple specification A)
% 
%  States:        7
%  Init/Marked:   1/7
%  Events:        6
%  Transitions:   8
%  StateSymbols:  0
%  Attrib. E/S/T: 6/7/0
% 

<Alphabet>
A_wait        +YP+          A_do          +UP+          A_stp         +UP+         
A_READY       +YC+          A_STANDBY     +UC+          A_OPERATE     +UC+         
</Alphabet>

<States>
1              +QYp+         2              +QYp+         3              +QUp+        
4              +QUp+         5              +QYcUp+       6              +QUc+        
7              +QUp+        
</States>

<TransRel>
2              A_wait        3             
3              A_do          1             
4              A_stp         1             
5              A_READY       6             
6              A_STANDBY     4             
6              A_OPERATE     7             
1              A_wait        5             
7              A_do          2             
</TransRel>

<InitStates>
1             
</InitStates>

<MarkedStates>
1              2              3              4              5              6             
7             
</MarkedStates>


</Generator>

 

 

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