Example Data: tmp_hio_cb_ABCD_spec.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"spec_AB_ABCD_" 

% 
%  Statistics for spec_AB_ABCD_
% 
%  States:        19
%  Init/Marked:   1/19
%  Events:        15
%  Transitions:   35
%  StateSymbols:  0
%  Attrib. E/S/T: 15/19/0
% 

<Alphabet>
"ABCD_occfl"  +YE+          "ABCD_accfl"  +YE+          "ABCD_freetr" +YE+          
"ABCD_reltr"  +YE+          "ABCD_reqfl"  +YE+          "ABCD_nack"   +UE+          
"ABCD_pack"   +UE+          "ABCD_FREE"   +YP+          "ABCD_WAIT"   +YP+          
"ABCD_FULL"   +YP+          "ABCD_OCC"    +YP+          "ABCD_ARRTR"  +YP+          
"ABCD_STP"    +UP+          "ABCD_TR"     +UP+          "ABCD_FL"     +UP+          
</Alphabet>

<States>
1             +QYpYe+       2             +QYpYe+       3             +QYpYe+       
4             +QUp+         5             +QUp+         6             +QUp+         
7             +QUp+         8             +QYpYe+       9             +QYpYe+       
10            +QYpYe+       11            +QYpYe+       12            +QUe+         
13            +QUp+         14            +QUe+         15            +QUe+         
16            +QYpYe+       17            +QUe+         18            +QUe+         
19            +ErrQYpYe+    
</States>

<TransRel>
1             "ABCD_FREE"   5             
2             "ABCD_occfl"  17            
2             "ABCD_accfl"  12            
3             "ABCD_freetr" 18            
3             "ABCD_reltr"  14            
4             "ABCD_STP"    11            
4             "ABCD_TR"     10            
4             "ABCD_FL"     9             
5             "ABCD_STP"    1             
5             "ABCD_TR"     19            
5             "ABCD_FL"     9             
6             "ABCD_STP"    16            
6             "ABCD_TR"     10            
6             "ABCD_FL"     19            
7             "ABCD_STP"    2             
7             "ABCD_TR"     19            
7             "ABCD_FL"     19            
8             "ABCD_FULL"   7             
9             "ABCD_reqfl"  15            
10            "ABCD_ARRTR"  13            
11            "ABCD_WAIT"   4             
12            "ABCD_nack"   2             
12            "ABCD_pack"   11            
13            "ABCD_STP"    3             
13            "ABCD_TR"     19            
13            "ABCD_FL"     19            
14            "ABCD_nack"   3             
14            "ABCD_pack"   11            
15            "ABCD_nack"   9             
15            "ABCD_pack"   8             
16            "ABCD_OCC"    6             
17            "ABCD_nack"   2             
17            "ABCD_pack"   16            
18            "ABCD_nack"   3             
18            "ABCD_pack"   1             
</TransRel>

<InitStates>
1             
</InitStates>

<MarkedStates>
1             2             3             4             5             6             
7             8             9             10            11            12            
13            14            15            16            17            18            
19            
</MarkedStates>


</Generator>