|
<Generator> "Generator" % % Statistics for Generator % % States: 14 % Init/Marked: 1/3 % Events: 4 % Transitions: 24 % StateSymbols: 14 % Attrib. E/S/T: 0/0/0 % <Alphabet> "a" "b" "c" "d" </Alphabet> <States> "I|I|I|r1m" "A|B|A|r2m" "B|B|B|r2m" "XB|I|XB|r2m" "A|B|A|r1m" "FB|B|FB|r1m" "XB|B|XB|r1m" "FA|B|FA|r1m" "B|B|B|r1m" "XB|I|XB|r1m" "FB|B|FB|r2m" "XB|B|XB|r2m" "I|I|I|r2m" "FA|B|FA|r2m" </States> <TransRel> "I|I|I|r1m" "a" "A|B|A|r2m" "I|I|I|r1m" "b" "B|B|B|r2m" "A|B|A|r2m" "c" "I|I|I|r2m" "A|B|A|r2m" "d" "FA|B|FA|r2m" "B|B|B|r2m" "c" "XB|I|XB|r2m" "XB|I|XB|r2m" "a" "A|B|A|r1m" "XB|I|XB|r2m" "b" "FB|B|FB|r1m" "A|B|A|r1m" "c" "I|I|I|r1m" "A|B|A|r1m" "d" "FA|B|FA|r1m" "FB|B|FB|r1m" "d" "XB|B|XB|r1m" "XB|B|XB|r1m" "a" "A|B|A|r1m" "XB|B|XB|r1m" "b" "FB|B|FB|r1m" "FA|B|FA|r1m" "a" "A|B|A|r1m" "FA|B|FA|r1m" "b" "B|B|B|r1m" "B|B|B|r1m" "c" "XB|I|XB|r1m" "XB|I|XB|r1m" "a" "A|B|A|r2m" "XB|I|XB|r1m" "b" "FB|B|FB|r2m" "FB|B|FB|r2m" "d" "XB|B|XB|r2m" "XB|B|XB|r2m" "a" "A|B|A|r1m" "XB|B|XB|r2m" "b" "FB|B|FB|r1m" "I|I|I|r2m" "a" "A|B|A|r1m" "I|I|I|r2m" "b" "B|B|B|r1m" "FA|B|FA|r2m" "a" "A|B|A|r2m" "FA|B|FA|r2m" "b" "B|B|B|r2m" </TransRel> <InitStates> "I|I|I|r1m" </InitStates> <MarkedStates> "XB|I|XB|r2m" "XB|B|XB|r2m" "I|I|I|r2m" </MarkedStates> </Generator>
libFAUDES 2.16b --- 2010-9-8 --- plugins "example synthesis observer diagnosis hiosys multitasking timed simulator iodevice luabindings"