Example Data: tmp_hio_cb_AB_LC.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"LC_AB"
%
% Statistics for LC_AB
%
% States: 5
% Init/Marked: 1/5
% Events: 8
% Transitions: 13
% StateSymbols: 0
% Attrib. E/S/T: 8/5/0
%
<Alphabet>
"AB_FREE" +Y+ "AB_WAIT" +Y+ "AB_FULL" +Y+
"AB_OCC" +Y+ "AB_ARRTR" +Y+ "AB_STP" +U+
"AB_TR" +U+ "AB_FL" +U+
</Alphabet>
<States>
1 +QY+ 2 +QU+ 3 +QU+
4 +QU+ 5 +QU+
</States>
<TransRel>
1 "AB_FREE" 2
1 "AB_WAIT" 5
1 "AB_FULL" 3
1 "AB_OCC" 4
1 "AB_ARRTR" 3
2 "AB_STP" 1
2 "AB_FL" 1
3 "AB_STP" 1
4 "AB_STP" 1
4 "AB_TR" 1
5 "AB_STP" 1
5 "AB_TR" 1
5 "AB_FL" 1
</TransRel>
<InitStates>
1
</InitStates>
<MarkedStates>
1 2 3 4 5
</MarkedStates>
</Generator>