<Generator> GTrim % % Statistics for GTrim % % States: 6 % Init/Marked: 1/2 % Events: 4 % Transitions: 7 % StateSymbols: 6 % Attrib. E/S/T: 0/0/0 % <Alphabet> a b c d </Alphabet> <States> s1 s2 s3 s4 s5 s9 </States> <TransRel> s1 a s2 s2 a s3 s2 b s1 s3 c s4 s4 b s5 s4 d s3 s5 b s9 </TransRel> <InitStates> s1 </InitStates> <MarkedStates> s2 s9 </MarkedStates> </Generator>
libFAUDES 2.20d --- 2011.04.26 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-timed-simulator-iodevice-luabindings"