Example Date: ftc_k2.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"Nominal Controller||Reconfigurator|...ng plant model)||Nominal Controller [minstate]" 












<Alphabet>
a1            a2            A1            A2            ah            Ah           
F             a1_v          a2_v          A1_v          A2_v         
</Alphabet>

<States>
S1            S2            S3            S4            S5            S6           
S7            S8            S9            S10           S11           S12          
S13          
</States>

<TransRel>
S1            A2            S13          
S1            F             S5           
S2            a1            S6           
S3            a2            S1           
S4            a2_v          S2           
S5            A1            S2           
S6            A1            S12          
S7            a2_v          S3           
S8            ah            S4           
S9            ah            S7           
S10           Ah            S8           
S11           Ah            S9           
S12           A2_v          S10          
S13           A2_v          S11          
</TransRel>

<InitStates>
S9           
</InitStates>

<MarkedStates>
S2            S3            S4            S7            S8            S9           
S10           S11           S12           S13          
</MarkedStates>


</Generator>

 

 

libFAUDES 2.32b --- 2024.03.08 --- with "synthesis-observer-diagnosis-iosystem-hiosys-multitasking-coordinationcontrol-timed-iodevice-simulator-luabindings"