| |
<Generator> "PrefixClosure(supervisor)" % % Statistics for PrefixClosure(supervisor) % States: 6 % Init/Marked: 1/6 % Events: 4 % Transitions: 8 % StateSymbols: 6 % Attrib. E/S/T: 2/0/0 % <Alphabet> "alpha_1" +C+ "beta_1" "alpha_2" +C+ "beta_2" </Alphabet> <States> "I|I|E" "B|I|E" "I|I|F" "I|B|E" "B|B|E" "I|B|F" </States> <TransRel> "I|I|E" "alpha_1" "B|I|E" "B|I|E" "beta_1" "I|I|F" "I|I|F" "alpha_2" "I|B|E" "I|B|E" "alpha_1" "B|B|E" "I|B|E" "beta_2" "I|I|E" "B|B|E" "beta_1" "I|B|F" "B|B|E" "beta_2" "B|I|E" "I|B|F" "beta_2" "I|I|F" </TransRel> <InitStates> "I|I|E" </InitStates> <MarkedStates> "I|I|E" "B|I|E" "I|I|F" "I|B|E" "B|B|E" "I|B|F" </MarkedStates> </Generator>