|
<Generator> "PrefixClosure(very simple machine_1...|Project(PrefixClosure(supervisor))" % % Statistics for PrefixClosure(very simple machine_1...|Project(PrefixClosure(supervisor)) % % States: 8 % Init/Marked: 1/8 % Events: 4 % Transitions: 12 % StateSymbols: 0 % Attrib. E/S/T: 0/0/0 % <Alphabet> "alpha_1" "beta_1" "alpha_2" "beta_2" </Alphabet> <States> <Consecutive> 1 8 </Consecutive> </States> <TransRel> 1 "alpha_1" 2 2 "beta_1" 3 2 "alpha_2" 4 3 "alpha_2" 5 4 "beta_1" 5 4 "beta_2" 6 5 "alpha_1" 7 5 "beta_2" 1 6 "beta_1" 1 7 "beta_1" 8 7 "beta_2" 2 8 "beta_2" 3 </TransRel> <InitStates> 1 </InitStates> <MarkedStates> <Consecutive> 1 8 </Consecutive> </MarkedStates> </Generator>
libFAUDES 2.18b --- 2010-12-17 --- plugins "example synthesis observer diagnosis hiosys iosystem multitasking timed simulator iodevice luabindings"