| |
|
||||||
|
|
|||||||
<Generator> G % % Statistics for G % % States: 13 % Init/Marked: 1/3 % Events: 4 % Transitions: 15 % StateSymbols: 13 % Attrib. E/S/T: 0/0/0 % <Alphabet> a b c d </Alphabet> <States> s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s20 s21 </States> <TransRel> s1 a s2 s2 a s3 s2 b s1 s3 c s4 s4 b s5 s4 d s3 s5 a s6 s5 b s9 s6 b s7 s7 a s6 s7 a s8 s9 a s10 s9 b s11 s20 a s21 s21 b s20 </TransRel> <InitStates> s1 </InitStates> <MarkedStates> s2 s9 s20 </MarkedStates> </Generator>
libFAUDES 2.32b --- 2024.03.08 --- with "synthesis-observer-diagnosis-iosystem-hiosys-multitasking-coordinationcontrol-timed-iodevice-simulator-luabindings"