<Generator name="Automaton(g1)"> % % Statistics for Automaton(g1) % % States: 5 % Init/Marked: 1/1 % Events: 3 % Transitions: 15 % StateSymbols: 5 % Attrib. E/S/T: 0/0/0 % <Alphabet> a d u </Alphabet> <States> "1" "2" "3" "4" dump </States> <TransRel> "1" a dump "1" d "2" "1" u dump "2" a "4" "2" d dump "2" u "3" "3" a dump "3" d dump "3" u dump "4" a dump "4" d dump "4" u dump dump a dump dump d dump dump u dump </TransRel> <InitStates> "1" </InitStates> <MarkedStates> "3" </MarkedStates> </Generator>
libFAUDES 2.33k --- 2025.09.16 --- with "omegaaut-synthesis-observer-multitasking-diagnosis-hiosys-iosystem-coordinationcontrol-priorities-timed-simulator-iodevice-luabindings"