| |
<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: 2/0/0 % <Alphabet> "alpha_1" +C+ "beta_1" "alpha_2" +C+ "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>