|
<Generator> "very simple machine 1|||very simple machine 2" % % Statistics for very simple machine 1|||very simple machine 2 % % States: 8 % Init/Marked: 1/2 % Events: 4 % Transitions: 16 % StateSymbols: 8 % Attrib. E/S/T: 0/0/0 % <Alphabet> "alpha_1" "beta_1" "alpha_2" "beta_2" </Alphabet> <States> "I|I|r1m" "B|I|r2m" "I|B|r2m" "B|B|r2m" "I|I|r2m" "B|I|r1m" "I|B|r1m" "B|B|r1m" </States> <TransRel> "I|I|r1m" "alpha_1" "B|I|r2m" "I|I|r1m" "alpha_2" "I|B|r2m" "B|I|r2m" "beta_1" "I|I|r1m" "B|I|r2m" "alpha_2" "B|B|r1m" "I|B|r2m" "alpha_1" "B|B|r2m" "I|B|r2m" "beta_2" "I|I|r2m" "B|B|r2m" "beta_1" "I|B|r2m" "B|B|r2m" "beta_2" "B|I|r2m" "I|I|r2m" "alpha_1" "B|I|r1m" "I|I|r2m" "alpha_2" "I|B|r1m" "B|I|r1m" "beta_1" "I|I|r1m" "B|I|r1m" "alpha_2" "B|B|r1m" "I|B|r1m" "alpha_1" "B|B|r2m" "I|B|r1m" "beta_2" "I|I|r2m" "B|B|r1m" "beta_1" "I|B|r1m" "B|B|r1m" "beta_2" "B|I|r1m" </TransRel> <InitStates> "I|I|r1m" </InitStates> <MarkedStates> "B|I|r2m" "I|I|r2m" </MarkedStates> </Generator>
libFAUDES 2.18b --- 2010-12-17 --- plugins "example synthesis observer diagnosis hiosys iosystem multitasking timed simulator iodevice luabindings"