Example Data: tmp_hio_cb_ABCD_spec.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"spec_AB_ABCD_"
%
% Statistics for spec_AB_ABCD_
%
% States: 19
% Init/Marked: 1/19
% Events: 15
% Transitions: 35
% StateSymbols: 0
% Attrib. E/S/T: 15/19/0
%
<Alphabet>
"ABCD_occfl" +YE+ "ABCD_accfl" +YE+ "ABCD_freetr" +YE+
"ABCD_reltr" +YE+ "ABCD_reqfl" +YE+ "ABCD_nack" +UE+
"ABCD_pack" +UE+ "ABCD_FREE" +YP+ "ABCD_WAIT" +YP+
"ABCD_FULL" +YP+ "ABCD_OCC" +YP+ "ABCD_ARRTR" +YP+
"ABCD_STP" +UP+ "ABCD_TR" +UP+ "ABCD_FL" +UP+
</Alphabet>
<States>
1 +QYpYe+ 2 +QYpYe+ 3 +QYpYe+
4 +QUp+ 5 +QUp+ 6 +QUp+
7 +QUp+ 8 +QYpYe+ 9 +QYpYe+
10 +QYpYe+ 11 +QYpYe+ 12 +QUe+
13 +QUp+ 14 +QUe+ 15 +QUe+
16 +QYpYe+ 17 +QUe+ 18 +QUe+
19 +ErrQYpYe+
</States>
<TransRel>
1 "ABCD_FREE" 5
2 "ABCD_occfl" 17
2 "ABCD_accfl" 12
3 "ABCD_freetr" 18
3 "ABCD_reltr" 14
4 "ABCD_STP" 11
4 "ABCD_TR" 10
4 "ABCD_FL" 9
5 "ABCD_STP" 1
5 "ABCD_TR" 19
5 "ABCD_FL" 9
6 "ABCD_STP" 16
6 "ABCD_TR" 10
6 "ABCD_FL" 19
7 "ABCD_STP" 2
7 "ABCD_TR" 19
7 "ABCD_FL" 19
8 "ABCD_FULL" 7
9 "ABCD_reqfl" 15
10 "ABCD_ARRTR" 13
11 "ABCD_WAIT" 4
12 "ABCD_nack" 2
12 "ABCD_pack" 11
13 "ABCD_STP" 3
13 "ABCD_TR" 19
13 "ABCD_FL" 19
14 "ABCD_nack" 3
14 "ABCD_pack" 11
15 "ABCD_nack" 9
15 "ABCD_pack" 8
16 "ABCD_OCC" 6
17 "ABCD_nack" 2
17 "ABCD_pack" 16
18 "ABCD_nack" 3
18 "ABCD_pack" 1
</TransRel>
<InitStates>
1
</InitStates>
<MarkedStates>
1 2 3 4 5 6
7 8 9 10 11 12
13 14 15 16 17 18
19
</MarkedStates>
</Generator>