<Generator name="SupBuechiConNorm((wPlant3),(wSpec3)) [minstate]"> % % Statistics for SupBuechiConNorm((wPlant3),(wSpec3)) [minstate] % % States: 11 % Init/Marked: 1/3 % Events: 5 % Transitions: 19 % StateSymbols: 0 % Attrib. E/S/T: 0/0/0 % <Alphabet> a b c f e </Alphabet> <States> <Consecutive> 1 11 </Consecutive> </States> <TransRel> 1 c 5 1 f 8 2 c 4 3 a 7 3 b 10 4 a 11 4 b 2 5 a 1 5 b 6 6 c 5 7 c 3 7 f 11 8 c 9 8 e 7 9 a 8 9 b 2 10 c 3 11 c 4 11 e 1 </TransRel> <InitStates> 5 </InitStates> <MarkedStates> 1 3 6 </MarkedStates> </Generator>
libFAUDES 2.33h --- 2025.06.18 --- with "omegaaut-synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-priorities-luabindings"