Example Data: tmp_hio_cb_CD_spec.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"spec_AB_CD_" 

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

<Alphabet>
"CD_FREE"     +YP+          "CD_WAIT"     +YP+          "CD_FULL"     +YP+          
"CD_OCC"      +YP+          "CD_ARRTR"    +YP+          "CD_STP"      +UP+          
"CD_TR"       +UP+          "CD_FL"       +UP+          "CD_occfl"    +YE+          
"CD_accfl"    +YE+          "CD_freetr"   +YE+          "CD_reltr"    +YE+          
"CD_reqfl"    +YE+          "CD_nack"     +UE+          "CD_pack"     +UE+          
</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             "CD_FREE"     5             
2             "CD_occfl"    17            
2             "CD_accfl"    12            
3             "CD_freetr"   18            
3             "CD_reltr"    14            
4             "CD_STP"      11            
4             "CD_TR"       10            
4             "CD_FL"       9             
5             "CD_STP"      1             
5             "CD_TR"       19            
5             "CD_FL"       9             
6             "CD_STP"      16            
6             "CD_TR"       10            
6             "CD_FL"       19            
7             "CD_STP"      2             
7             "CD_TR"       19            
7             "CD_FL"       19            
8             "CD_FULL"     7             
9             "CD_reqfl"    15            
10            "CD_ARRTR"    13            
11            "CD_WAIT"     4             
12            "CD_nack"     2             
12            "CD_pack"     11            
13            "CD_STP"      3             
13            "CD_TR"       19            
13            "CD_FL"       19            
14            "CD_nack"     3             
14            "CD_pack"     11            
15            "CD_nack"     9             
15            "CD_pack"     8             
16            "CD_OCC"      6             
17            "CD_nack"     2             
17            "CD_pack"     16            
18            "CD_nack"     3             
18            "CD_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>