FG DES libFAUDES DESTool	LRT >> EEI >>
About User Reference C++ API luafaudes Developer Links

Example Date: ftc_k1.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"Nominal Controller||Reconfigurator|...ct(fault-accommodating plant model) [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            A1            S12          
S1            F             S5           
S2            a1            S1           
S3            a2            S7           
S4            a1_v          S2           
S5            A2            S3           
S6            a1_v          S3           
S7            A2            S13          
S8            ah            S4           
S9            ah            S6           
S10           Ah            S8           
S11           Ah            S9           
S12           A1_v          S10          
S13           A1_v          S11          
</TransRel>

<InitStates>
S8           
</InitStates>

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


</Generator>

 

 

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