| |
|
||||||
|
|
|||||||
<Generator> "very simple machine 1|||very simple machine 2" % % Statistics for very simple machine 1|||very simple machine 2 % % States: 10 % Init/Marked: 1/2 % Events: 4 % Transitions: 20 % StateSymbols: 10 % Attrib. E/S/T: 0/0/0 % <Alphabet> alpha_1 beta_1 alpha_2 beta_2 </Alphabet> <States> I|I|r1m* B|I|r1m I|B|r1m B|B|r1m I|I|r1m I|B|r2m B|B|r2m B|I|r1m* I|I|r2m B|I|r2m </States> <TransRel> I|I|r1m* alpha_1 B|I|r1m I|I|r1m* alpha_2 I|B|r1m B|I|r1m beta_1 I|I|r2m B|I|r1m alpha_2 B|B|r1m I|B|r1m alpha_1 B|B|r1m I|B|r1m beta_2 I|I|r1m B|B|r1m beta_1 I|B|r2m B|B|r1m beta_2 B|I|r1m I|I|r1m alpha_1 B|I|r1m I|I|r1m alpha_2 I|B|r1m I|B|r2m alpha_1 B|B|r2m I|B|r2m beta_2 I|I|r1m* B|B|r2m beta_1 I|B|r2m B|B|r2m beta_2 B|I|r1m* B|I|r1m* beta_1 I|I|r2m B|I|r1m* alpha_2 B|B|r1m I|I|r2m alpha_1 B|I|r2m I|I|r2m alpha_2 I|B|r2m B|I|r2m beta_1 I|I|r2m B|I|r2m alpha_2 B|B|r2m </TransRel> <InitStates> I|I|r1m* </InitStates> <MarkedStates> I|I|r1m* B|I|r1m* </MarkedStates> </Generator>
libFAUDES 2.32b --- 2024.03.08 --- with "synthesis-observer-diagnosis-iosystem-hiosys-multitasking-coordinationcontrol-timed-iodevice-simulator-luabindings"