<Generator> "specification" % % Statistics for specification % % States: 2 % Init/Marked: 1/2 % Events: 2 % Transitions: 2 % StateSymbols: 2 % Attrib. E/S/T: 2/0/0 % <Alphabet> "beta_1" +U+ "alpha_2" +Y+ </Alphabet> <States> "E|Yp" "F|Up" </States> <TransRel> "E|Yp" "beta_1" "F|Up" "F|Up" "alpha_2" "E|Yp" </TransRel> <InitStates> "E|Yp" </InitStates> <MarkedStates> "E|Yp" "F|Up" </MarkedStates> </Generator>