| |
|
||||||
|
|
|||||||
<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"