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