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>