| |
|
||||||
|
|
|||||||
<Generator> Automaton(g1) % % Statistics for Automaton(g1) % % States: 4 % Init/Marked: 1/1 % Events: 3 % Transitions: 12 % StateSymbols: 4 % Attrib. E/S/T: 0/0/0 % <Alphabet> a d u </Alphabet> <States> "1" "2" "3" dump </States> <TransRel> "1" a dump "1" d "2" "1" u dump "2" a dump "2" d dump "2" u "3" "3" a dump "3" d dump "3" u dump dump a dump dump d dump dump u dump </TransRel> <InitStates> "1" </InitStates> <MarkedStates> "3" </MarkedStates> </Generator>
libFAUDES 2.32b --- 2024.03.01 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings-hybrid-example-pybindings"