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