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>