Example Data: tmp_hio_controller_intro.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"Project(HioSynth(PrefixClosure(IoShuffle(Si... Machine_2)) [minstate],Generator))"
%
% Statistics for Project(HioSynth(PrefixClosure(IoShuffle(Si... Machine_2)) [minstate],Generator))
%
% States: 15
% Init/Marked: 1/15
% Events: 8
% Transitions: 42
% StateSymbols: 0
% Attrib. E/S/T: 8/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 15
</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 "no_op_1" 9
5 "alpha_2" 12
5 "no_op_2" 9
6 "alpha_1" 8
6 "no_op_1" 1
7 "no_op_2" 8
8 "beta_1" 4
8 "idle_1" 2
8 "beta_2" 2
8 "idle_2" 7
9 "beta_1" 2
9 "idle_1" 4
9 "beta_2" 2
9 "idle_2" 5
10 "beta_1" 15
10 "idle_1" 2
10 "beta_2" 7
10 "idle_2" 2
11 "beta_1" 2
11 "idle_1" 15
11 "beta_2" 5
11 "idle_2" 2
1 "beta_1" 2
1 "idle_1" 6
1 "beta_2" 2
1 "idle_2" 14
12 "beta_1" 2
12 "idle_1" 13
12 "beta_2" 14
12 "idle_2" 2
13 "alpha_1" 10
13 "no_op_1" 12
14 "no_op_2" 1
15 "no_op_1" 11
</TransRel>
<InitStates>
1
</InitStates>
<MarkedStates>
<Consecutive>
1 15
</Consecutive>
</MarkedStates>
</Generator>