Example Data: tmp_hio_ioshuffle_intro.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"IoShuffle(Simple Machine_1,Simple Machine_2)"
%
% Statistics for IoShuffle(Simple Machine_1,Simple Machine_2)
%
% States: 10
% Init/Marked: 1/10
% Events: 8
% Transitions: 32
% StateSymbols: 0
% Attrib. E/S/T: 12/0/0
%
<Alphabet>
"alpha_1" +UP+ "beta_1" +YP+ "no_op_1" +UP+
"idle_1" +YP+ "alpha_2" +UP+ "beta_2" +YP+
"no_op_2" +UP+ "idle_2" +YP+
</Alphabet>
<States>
<Consecutive>
1 10
</Consecutive>
</States>
<TransRel>
2 "alpha_1" 3
2 "no_op_1" 3
2 "alpha_2" 3
2 "no_op_2" 3
3 "beta_1" 2
3 "idle_1" 2
3 "beta_2" 2
3 "idle_2" 2
4 "idle_1" 7
4 "beta_2" 8
5 "beta_1" 7
5 "beta_2" 10
1 "idle_1" 9
1 "idle_2" 8
6 "beta_1" 9
6 "idle_2" 10
7 "alpha_1" 5
7 "no_op_1" 4
7 "alpha_2" 3
7 "no_op_2" 3
8 "alpha_1" 3
8 "no_op_1" 3
8 "alpha_2" 4
8 "no_op_2" 1
9 "alpha_1" 6
9 "no_op_1" 1
9 "alpha_2" 3
9 "no_op_2" 3
10 "alpha_1" 3
10 "no_op_1" 3
10 "alpha_2" 5
10 "no_op_2" 6
</TransRel>
<InitStates>
1
</InitStates>
<MarkedStates>
<Consecutive>
1 10
</Consecutive>
</MarkedStates>
</Generator>