|
|
||||||
|
<Generator> "Fault-Accommodating Controller" <Alphabet> a1 a2 A1 A2 ah Ah </Alphabet> <States> <Consecutive> 1 13 </Consecutive> </States> <TransRel> 1 a1 4 1 a2 10 2 a2 5 3 a1 6 4 A1 8 4 A2 2 5 A2 13 6 A1 12 7 ah 1 8 Ah 7 9 ah 2 10 A1 3 10 A2 8 11 ah 3 12 Ah 11 13 Ah 9 </TransRel> <InitStates> 7 </InitStates> <MarkedStates> <Consecutive> 1 13 </Consecutive> </MarkedStates> </Generator>
libFAUDES 2.32b --- 2024.03.08 --- with "synthesis-observer-diagnosis-iosystem-hiosys-multitasking-coordinationcontrol-timed-iodevice-simulator-luabindings"