Example Data: tmp_hioenvironment_incomplete.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"HioEnvironment"
%
% Statistics for HioEnvironment
%
% States: 4
% Init/Marked: 1/4
% Events: 6
% Transitions: 4
% StateSymbols: 0
% Attrib. E/S/T: 6/4/0
%
<Alphabet>
"ye1" +YE+ "ye2" +YE+ "yl" +YL+
"ul1" +UL+ "ul2" +UL+ "ue" +UE+
</Alphabet>
<States>
1 +QYe+ 2 +QYlUe+ 3 +QUl+
4 +QUe+
</States>
<TransRel>
1 "ye1" 2
2 "yl" 3
3 "ul1" 4
4 "ue" 1
</TransRel>
<InitStates>
1
</InitStates>
<MarkedStates>
1 2 3 4
</MarkedStates>
</Generator>