Example Data: tmp_hio_cb_AB_env.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"envAB"       

% 
%  Statistics for envAB
% 
%  States:        61
%  Init/Marked:   1/61
%  Events:        23
%  Transitions:   198
%  StateSymbols:  0
%  Attrib. E/S/T: 23/61/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>
1             +QYe+         2             +QYe+         3             +QUe+         
4             +QUe+         5             +QUe+         6             +QUe+         
7             +QYlUe+       8             +QYlUe+       9             +QYlUe+       
10            +QYlUe+       11            +QYlUe+       12            +QUl+         
13            +QYe+         14            +QYe+         15            +QUl+         
16            +QUe+         17            +QUe+         18            +QUe+         
19            +QYe+         20            +QYe+         21            +QUe+         
22            +QUe+         23            +QUe+         24            +QUe+         
25            +QYe+         26            +QUl+         27            +QUl+         
28            +QYlUe+       29            +QYe+         30            +QUe+         
31            +QUe+         32            +QUe+         33            +QUe+         
34            +QUe+         35            +QUe+         36            +QUe+         
37            +QUe+         38            +QUe+         39            +QUe+         
40            +QUl+         41            +QYe+         42            +QUe+         
43            +QUe+         44            +QYe+         45            +QUe+         
46            +QUe+         47            +QYlUe+       48            +QUe+         
49            +QUe+         50            +QUe+         51            +QUe+         
52            +QUe+         53            +QUe+         54            +QYe+         
55            +QUe+         56            +QUe+         57            +QUe+         
58            +QYe+         59            +QUe+         60            +QUe+         
61            +QUe+         
</States>

<TransRel>
2             "A_reqfl"     51            
2             "A_reqfr"     51            
2             "A_occfr"     51            
2             "A_occfl"     3             
2             "A_freetl"    51            
2             "A_freetr"    51            
2             "B_reqfl"     53            
2             "B_reqfr"     53            
2             "B_occfr"     53            
2             "B_occfl"     6             
2             "B_freetl"    53            
2             "B_freetr"    43            
3             "A_nack"      25            
4             "A_pack"      44            
5             "B_nack"      25            
6             "B_pack"      13            
7             "AB_occfl"    40            
8             "AB_accfl"    12            
9             "AB_freetr"   26            
10            "AB_reltr"    15            
11            "AB_reqfl"    12            
12            "AB_nack"     16            
12            "AB_pack"     17            
13            "A_reqfl"     11            
13            "A_reqfr"     16            
13            "A_occfr"     16            
13            "A_occfl"     7             
13            "A_freetl"    16            
13            "A_freetr"    16            
13            "B_reqfl"     61            
13            "B_reqfr"     18            
13            "B_occfr"     18            
13            "B_occfl"     18            
13            "B_freetl"    18            
13            "B_freetr"    9             
14            "A_reqfl"     45            
14            "A_reqfr"     45            
14            "A_occfr"     45            
14            "A_occfl"     45            
14            "A_freetl"    45            
14            "A_freetr"    52            
14            "B_reqfl"     46            
14            "B_reqfr"     46            
14            "B_occfr"     46            
14            "B_occfl"     50            
14            "B_freetl"    46            
14            "B_freetr"    60            
15            "AB_nack"     18            
15            "AB_pack"     6             
16            "A_nack"      13            
17            "A_pack"      13            
18            "B_nack"      13            
19            "A_reqfl"     48            
19            "A_reqfr"     48            
19            "A_occfr"     48            
19            "A_occfl"     48            
19            "A_freetl"    48            
19            "A_freetr"    17            
19            "B_reqfl"     49            
19            "B_reqfr"     49            
19            "B_occfr"     49            
19            "B_occfl"     49            
19            "B_freetl"    49            
19            "B_freetr"    23            
1             "A_reqfl"     47            
1             "A_reqfr"     30            
1             "A_occfr"     30            
1             "A_occfl"     8             
1             "A_freetl"    30            
1             "A_freetr"    30            
1             "B_reqfl"     57            
1             "B_reqfr"     31            
1             "B_occfr"     31            
1             "B_occfl"     18            
1             "B_freetl"    31            
1             "B_freetr"    9             
20            "A_reqfl"     28            
20            "A_reqfr"     33            
20            "A_occfr"     33            
20            "A_occfl"     7             
20            "A_freetl"    33            
20            "A_freetr"    16            
20            "B_reqfl"     39            
20            "B_reqfr"     35            
20            "B_occfr"     35            
20            "B_occfl"     35            
20            "B_freetl"    35            
20            "B_freetr"    10            
21            "A_nack"      41            
22            "A_pack"      1             
23            "B_nack"      41            
24            "B_pack"      41            
25            "A_reqfl"     3             
25            "A_reqfr"     3             
25            "A_occfr"     3             
25            "A_occfl"     3             
25            "A_freetl"    3             
25            "A_freetr"    51            
25            "B_reqfl"     5             
25            "B_reqfr"     5             
25            "B_occfr"     5             
25            "B_occfl"     36            
25            "B_freetl"    5             
25            "B_freetr"    53            
26            "AB_nack"     31            
26            "AB_pack"     32            
27            "AB_nack"     30            
27            "AB_pack"     22            
28            "AB_reqfl"    40            
29            "A_reqfl"     37            
29            "A_reqfr"     37            
29            "A_occfr"     37            
29            "A_occfl"     21            
29            "A_freetl"    37            
29            "A_freetr"    22            
29            "B_reqfl"     38            
29            "B_reqfr"     38            
29            "B_occfr"     38            
29            "B_occfl"     23            
29            "B_freetl"    38            
29            "B_freetr"    38            
30            "A_nack"      1             
31            "B_nack"      1             
32            "B_pack"      1             
33            "A_nack"      20            
34            "A_pack"      20            
35            "B_nack"      20            
36            "B_pack"      20            
37            "A_nack"      29            
38            "B_nack"      29            
39            "B_pack"      14            
40            "AB_nack"     33            
40            "AB_pack"     34            
41            "A_reqfl"     21            
41            "A_reqfr"     21            
41            "A_occfr"     21            
41            "A_occfl"     48            
41            "A_freetl"    21            
41            "A_freetr"    17            
41            "B_reqfl"     23            
41            "B_reqfr"     23            
41            "B_occfr"     23            
41            "B_occfl"     23            
41            "B_freetl"    23            
41            "B_freetr"    38            
42            "A_nack"      44            
43            "B_nack"      44            
44            "A_reqfl"     42            
44            "A_reqfr"     42            
44            "A_occfr"     42            
44            "A_occfl"     51            
44            "A_freetl"    42            
44            "A_freetr"    42            
44            "B_reqfl"     43            
44            "B_reqfr"     43            
44            "B_occfr"     43            
44            "B_occfl"     6             
44            "B_freetl"    43            
44            "B_freetr"    43            
45            "A_nack"      14            
46            "B_nack"      14            
47            "AB_reqfl"    27            
48            "A_nack"      19            
49            "B_nack"      19            
50            "B_pack"      19            
51            "A_nack"      2             
52            "A_pack"      2             
53            "B_nack"      2             
54            "A_reqfl"     59            
54            "A_reqfr"     59            
54            "A_occfr"     59            
54            "A_occfl"     45            
54            "A_freetl"    59            
54            "A_freetr"    52            
54            "B_reqfl"     60            
54            "B_reqfr"     60            
54            "B_occfr"     60            
54            "B_occfl"     24            
54            "B_freetl"    60            
54            "B_freetr"    56            
55            "A_nack"      58            
56            "B_nack"      58            
57            "B_pack"      58            
58            "A_reqfl"     55            
58            "A_reqfr"     55            
58            "A_occfr"     55            
58            "A_occfl"     59            
58            "A_freetl"    55            
58            "A_freetr"    4             
58            "B_reqfl"     56            
58            "B_reqfr"     56            
58            "B_occfr"     56            
58            "B_occfl"     24            
58            "B_freetl"    56            
58            "B_freetr"    56            
59            "A_nack"      54            
60            "B_nack"      54            
61            "B_pack"      54            
</TransRel>

<InitStates>
1             
</InitStates>

<MarkedStates>
1             2             3             4             5             6             
7             8             9             10            11            12            
13            14            15            16            17            18            
19            20            21            22            23            24            
25            26            27            28            29            30            
31            32            33            34            35            36            
37            38            39            40            41            42            
43            44            45            46            47            48            
49            50            51            52            53            54            
55            56            57            58            59            60            
61            
</MarkedStates>


</Generator>