Example Data: tmp_hio_cb_AB_env1.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"Environment AB" 

% 
%  Statistics for Environment AB
% 
%  States:        22
%  Init/Marked:   1/22
%  Events:        23
%  Transitions:   70
%  StateSymbols:  0
%  Attrib. E/S/T: 23/0/0
% 

<Alphabet>
"A_reqfl"     +YE+          "A_reqfr"     +YE+          "A_occfr"     +YE+          
"A_occfl"     +YE+          "A_freetl"    +YE+          "A_freetr"    +YE+          
"A_nack"      +UE+          "A_pack"      +UE+          "B_reqfl"     +YE+          
"B_reqfr"     +YE+          "B_occfr"     +YE+          "B_occfl"     +YE+          
"B_freetl"    +YE+          "B_freetr"    +YE+          "B_nack"      +UE+          
"B_pack"      +UE+          "AB_occfl"    +YL+          "AB_accfl"    +YL+          
"AB_freetr"   +YL+          "AB_reltr"    +YL+          "AB_reqfl"    +YL+          
"AB_nack"     +UL+          "AB_pack"     +UL+          
</Alphabet>

<States>
<Consecutive>
1             22            
</Consecutive>
</States>

<TransRel>
1             "A_reqfl"     7             
1             "A_reqfr"     13            
1             "A_occfr"     13            
1             "A_occfl"     5             
1             "A_freetl"    13            
1             "A_freetr"    13            
1             "B_reqfl"     21            
1             "B_reqfr"     15            
1             "B_occfr"     15            
1             "B_occfl"     15            
1             "B_freetl"    15            
1             "B_freetr"    6             
2             "A_reqfl"     3             
2             "A_reqfr"     3             
2             "A_occfr"     3             
2             "A_occfl"     3             
2             "A_freetl"    3             
2             "A_freetr"    3             
2             "B_reqfl"     10            
2             "B_reqfr"     10            
2             "B_occfr"     10            
2             "B_occfl"     9             
2             "B_freetl"    10            
2             "B_freetr"    10            
3             "A_nack"      2             
4             "A_pack"      2             
5             "AB_occfl"    8             
5             "AB_accfl"    8             
6             "AB_freetr"   12            
6             "AB_reltr"    12            
7             "AB_reqfl"    8             
8             "AB_nack"     13            
8             "AB_pack"     14            
9             "B_pack"      1             
10            "B_nack"      2             
11            "A_reqfl"     20            
11            "A_reqfr"     20            
11            "A_occfr"     20            
11            "A_occfl"     20            
11            "A_freetl"    20            
11            "A_freetr"    4             
11            "B_reqfl"     22            
11            "B_reqfr"     22            
11            "B_occfr"     22            
11            "B_occfl"     18            
11            "B_freetl"    22            
11            "B_freetr"    22            
12            "AB_nack"     15            
12            "AB_pack"     9             
13            "A_nack"      1             
14            "A_pack"      1             
15            "B_nack"      1             
16            "A_reqfl"     17            
16            "A_reqfr"     17            
16            "A_occfr"     17            
16            "A_occfl"     17            
16            "A_freetl"    17            
16            "A_freetr"    14            
16            "B_reqfl"     19            
16            "B_reqfr"     19            
16            "B_occfr"     19            
16            "B_occfl"     19            
16            "B_freetl"    19            
16            "B_freetr"    19            
17            "A_nack"      16            
18            "B_pack"      16            
19            "B_nack"      16            
20            "A_nack"      11            
21            "B_pack"      11            
22            "B_nack"      11            
</TransRel>

<InitStates>
1             
</InitStates>

<MarkedStates>
<Consecutive>
1             22            
</Consecutive>
</MarkedStates>


</Generator>