Example Data: tmp_hio_cb_A_spec.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"spec_A"
%
% Statistics for spec_A
%
% States: 15
% Init/Marked: 1/15
% Events: 15
% Transitions: 25
% StateSymbols: 1
% Attrib. E/S/T: 15/15/0
%
<Alphabet>
"A_reqfl" +YE+ "A_reqfr" +YE+ "A_occfr" +YE+
"A_occfl" +YE+ "A_freetl" +YE+ "A_freetr" +YE+
"A_nack" +UE+ "A_pack" +UE+ "A_STP" +UP+
"A_TR" +UP+ "A_FL" +UP+ "A_WAIT" +YP+
"A_FULL" +YP+ "A_ARRTL" +YP+ "A_ARRTR" +YP+
</Alphabet>
<States>
"Err" +QYpYe+ 2 +QYpYe+ 3 +QUp+
4 +QUp+ 5 +QUp+ 6 +QYpYe+
7 +QYpYe+ 8 +QYpYe+ 9 +QYpYe+
10 +QYpYe+ 11 +QYpYe+ 12 +QUe+
13 +QUe+ 14 +QUe+ 15 +QUp+
</States>
<TransRel>
2 "A_WAIT" 4
3 "A_STP" 9
3 "A_TR" 8
3 "A_FL" "Err"
4 "A_STP" 2
4 "A_TR" "Err"
4 "A_FL" 7
5 "A_STP" 10
5 "A_TR" "Err"
5 "A_FL" "Err"
6 "A_FULL" 5
7 "A_reqfl" 12
8 "A_ARRTR" 15
9 "A_WAIT" 3
10 "A_occfl" 13
11 "A_freetr" 14
12 "A_nack" 7
12 "A_pack" 6
13 "A_nack" 10
13 "A_pack" 9
14 "A_nack" 11
14 "A_pack" 2
15 "A_STP" 11
15 "A_TR" "Err"
15 "A_FL" "Err"
</TransRel>
<InitStates>
2
</InitStates>
<MarkedStates>
"Err" 2 3 4 5 6
7 8 9 10 11 12
13 14 15
</MarkedStates>
</Generator>