Example Data: tmp_syn_5_planta.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"process and transport" 

% 
%  Statistics for process and transport
% 
%  States:        5
%  Init/Marked:   1/1
%  Events:        4
%  Transitions:   9
%  StateSymbols:  5
%  Attrib. E/S/T: 3/0/0
% 

<Alphabet>
f             +o+           r             a             +C+           p            
+C+          
</Alphabet>

<States>
F1            F2            F3            P2            P1           
</States>

<TransRel>
F1            f             F2           
F2            f             F3           
F2            r             P1           
F3            r             P2           
P2            a             F2           
P2            p             P2           
P1            f             P2           
P1            a             F1           
P1            p             P1           
</TransRel>

<InitStates>
F1           
</InitStates>

<MarkedStates>
F1           
</MarkedStates>


</Generator>

 

 

libFAUDES 2.32b --- 2024.03.01 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings-hybrid-example-pybindings"