Example Data: tmp_hio_cb_B_spec.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"spec_A_B_"
%
% Statistics for spec_A_B_
%
% States: 15
% Init/Marked: 1/15
% Events: 15
% Transitions: 25
% StateSymbols: 1
% Attrib. E/S/T: 15/15/0
%
<Alphabet>
"B_STP" +UP+ "B_TR" +UP+ "B_FL" +UP+
"B_WAIT" +YP+ "B_FULL" +YP+ "B_ARRTL" +YP+
"B_ARRTR" +YP+ "B_reqfl" +YE+ "B_reqfr" +YE+
"B_occfr" +YE+ "B_occfl" +YE+ "B_freetl" +YE+
"B_freetr" +YE+ "B_nack" +UE+ "B_pack" +UE+
</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 "B_WAIT" 4
3 "B_STP" 9
3 "B_TR" 8
3 "B_FL" "Err"
4 "B_STP" 2
4 "B_TR" "Err"
4 "B_FL" 7
5 "B_STP" 10
5 "B_TR" "Err"
5 "B_FL" "Err"
6 "B_FULL" 5
7 "B_reqfl" 12
8 "B_ARRTR" 15
9 "B_WAIT" 3
10 "B_occfl" 13
11 "B_freetr" 14
12 "B_nack" 7
12 "B_pack" 6
13 "B_nack" 10
13 "B_pack" 9
14 "B_nack" 11
14 "B_pack" 2
15 "B_STP" 11
15 "B_TR" "Err"
15 "B_FL" "Err"
</TransRel>
<InitStates>
2
</InitStates>
<MarkedStates>
"Err" 2 3 4 5 6
7 8 9 10 11 12
13 14 15
</MarkedStates>
</Generator>