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