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