Example Data: tmp_hio_cb_CD_spec.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"spec_AB_CD_"
%
% Statistics for spec_AB_CD_
%
% States: 19
% Init/Marked: 1/19
% Events: 15
% Transitions: 35
% StateSymbols: 0
% Attrib. E/S/T: 15/19/0
%
<Alphabet>
"CD_FREE" +YP+ "CD_WAIT" +YP+ "CD_FULL" +YP+
"CD_OCC" +YP+ "CD_ARRTR" +YP+ "CD_STP" +UP+
"CD_TR" +UP+ "CD_FL" +UP+ "CD_occfl" +YE+
"CD_accfl" +YE+ "CD_freetr" +YE+ "CD_reltr" +YE+
"CD_reqfl" +YE+ "CD_nack" +UE+ "CD_pack" +UE+
</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 "CD_FREE" 5
2 "CD_occfl" 17
2 "CD_accfl" 12
3 "CD_freetr" 18
3 "CD_reltr" 14
4 "CD_STP" 11
4 "CD_TR" 10
4 "CD_FL" 9
5 "CD_STP" 1
5 "CD_TR" 19
5 "CD_FL" 9
6 "CD_STP" 16
6 "CD_TR" 10
6 "CD_FL" 19
7 "CD_STP" 2
7 "CD_TR" 19
7 "CD_FL" 19
8 "CD_FULL" 7
9 "CD_reqfl" 15
10 "CD_ARRTR" 13
11 "CD_WAIT" 4
12 "CD_nack" 2
12 "CD_pack" 11
13 "CD_STP" 3
13 "CD_TR" 19
13 "CD_FL" 19
14 "CD_nack" 3
14 "CD_pack" 11
15 "CD_nack" 9
15 "CD_pack" 8
16 "CD_OCC" 6
17 "CD_nack" 2
17 "CD_pack" 16
18 "CD_nack" 3
18 "CD_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>