Example Data: tmp_hio_cb_A_LC.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"LC_A"
%
% Statistics for LC_A
%
% States: 7
% Init/Marked: 1/7
% Events: 6
% Transitions: 15
% StateSymbols: 1
% Attrib. E/S/T: 6/7/0
%
<Alphabet>
"A_STP" +U+ "A_TR" +U+ "A_FL" +U+
"A_WAIT" +Y+ "A_FULL" +Y+ "A_ARRTR" +Y+
</Alphabet>
<States>
"Err" +QU+ 2 +QY+ 3 +QU+
4 +QU+ 5 +QY+ 6 +QU+
7 +QU+
</States>
<TransRel>
2 "A_WAIT" 3
2 "A_FULL" 4
2 "A_ARRTR" 7
3 "A_STP" 2
3 "A_FL" 2
4 "A_STP" 5
5 "A_WAIT" 6
5 "A_FULL" "Err"
5 "A_ARRTR" "Err"
6 "A_STP" 5
6 "A_TR" 2
7 "A_STP" 2
"Err" "A_STP" 5
"Err" "A_TR" 5
"Err" "A_FL" 5
</TransRel>
<InitStates>
2
</InitStates>
<MarkedStates>
"Err" 2 3 4 5 6
7
</MarkedStates>
</Generator>