Example Data: tmp_hio_physical_intro.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"Project(Project(PrefixClosure(IoShuffle(Sim...achine_2)) [minstate],Generator))))"
%
% Statistics for Project(Project(PrefixClosure(IoShuffle(Sim...achine_2)) [minstate],Generator))))
%
% States: 6
% Init/Marked: 1/6
% Events: 4
% Transitions: 8
% StateSymbols: 0
% Attrib. E/S/T: 0/0/0
%
<Alphabet>
"alpha_1" "beta_1" "alpha_2" "beta_2"
</Alphabet>
<States>
1 2 3 4 5 6
</States>
<TransRel>
2 "alpha_1" 3
2 "beta_2" 1
3 "beta_1" 5
3 "beta_2" 6
4 "alpha_2" 2
5 "beta_2" 4
1 "alpha_1" 6
6 "beta_1" 4
</TransRel>
<InitStates>
1
</InitStates>
<MarkedStates>
1 2 3 4 5 6
</MarkedStates>
</Generator>