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>