<Generator> SelfLoop(g,NameSet) % % Statistics for SelfLoop(g,NameSet) % % States: 5 % Init/Marked: 1/3 % Events: 6 % Transitions: 14 % StateSymbols: 5 % Attrib. E/S/T: 0/0/0 % <Alphabet> f a b d e c </Alphabet> <States> "1" "2" "3" "4" "5" </States> <TransRel> "1" f "1" "1" a "2" "1" e "1" "2" f "2" "2" b "3" "2" e "2" "2" c "4" "3" f "3" "3" e "3" "4" f "4" "4" d "5" "4" e "4" "5" f "5" "5" e "5" </TransRel> <InitStates> "1" </InitStates> <MarkedStates> "3" "4" "5" </MarkedStates> </Generator>
libFAUDES 2.32f --- 2024.12.22 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings"