<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.20s --- 2011.10.12 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings"