Example Data: tmp_hio_cb_ABCD_env.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"envABCD"     

% 
%  Statistics for envABCD
% 
%  States:        141
%  Init/Marked:   1/141
%  Events:        21
%  Transitions:   381
%  StateSymbols:  0
%  Attrib. E/S/T: 21/141/0
% 

<Alphabet>
"AB_occfl"    +YE+          "AB_accfl"    +YE+          "AB_freetr"   +YE+          
"AB_reltr"    +YE+          "AB_reqfl"    +YE+          "AB_nack"     +UE+          
"AB_pack"     +UE+          "CD_occfl"    +YE+          "CD_accfl"    +YE+          
"CD_freetr"   +YE+          "CD_reltr"    +YE+          "CD_reqfl"    +YE+          
"CD_nack"     +UE+          "CD_pack"     +UE+          "ABCD_occfl"  +YL+          
"ABCD_accfl"  +YL+          "ABCD_freetr" +YL+          "ABCD_reltr"  +YL+          
"ABCD_reqfl"  +YL+          "ABCD_nack"   +UL+          "ABCD_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            +QYe+         
22            +QYe+         23            +QYe+         24            +QUe+         
25            +QUe+         26            +QUe+         27            +QUe+         
28            +QYe+         29            +QYe+         30            +QUe+         
31            +QUe+         32            +QYe+         33            +QUl+         
34            +QYlUe+       35            +QYe+         36            +QUe+         
37            +QUe+         38            +QUe+         39            +QUe+         
40            +QUe+         41            +QUe+         42            +QUe+         
43            +QUe+         44            +QUe+         45            +QUe+         
46            +QUe+         47            +QUe+         48            +QUe+         
49            +QUe+         50            +QUe+         51            +QUe+         
52            +QUe+         53            +QUe+         54            +QUe+         
55            +QUe+         56            +QUe+         57            +QUe+         
58            +QUe+         59            +QYe+         60            +QYe+         
61            +QUl+         62            +QUe+         63            +QUe+         
64            +QYe+         65            +QUe+         66            +QUe+         
67            +QUe+         68            +QYe+         69            +QUe+         
70            +QUe+         71            +QUe+         72            +QUe+         
73            +QUe+         74            +QYlUe+       75            +QUe+         
76            +QUe+         77            +QUe+         78            +QYe+         
79            +QYe+         80            +QUl+         81            +QUl+         
82            +QYe+         83            +QYe+         84            +QYe+         
85            +QYe+         86            +QUl+         87            +QUl+         
88            +QUl+         89            +QUl+         90            +QUl+         
91            +QUe+         92            +QUe+         93            +QUe+         
94            +QYe+         95            +QYe+         96            +QUe+         
97            +QUe+         98            +QUe+         99            +QUe+         
100           +QUe+         101           +QYlUe+       102           +QUe+         
103           +QUe+         104           +QUe+         105           +QUe+         
106           +QUe+         107           +QUe+         108           +QUe+         
109           +QUe+         110           +QUe+         111           +QUe+         
112           +QUe+         113           +QYlUe+       114           +QYlUe+       
115           +QYlUe+       116           +QUe+         117           +QUe+         
118           +QUe+         119           +QUe+         120           +QUe+         
121           +QUe+         122           +QUe+         123           +QUe+         
124           +QUe+         125           +QUe+         126           +QUe+         
127           +QUe+         128           +QYlUe+       129           +QYlUe+       
130           +QYlUe+       131           +QYlUe+       132           +QUl+         
133           +QUl+         134           +QUl+         135           +QUl+         
136           +QYlUe+       137           +QYlUe+       138           +QYlUe+       
139           +QYlUe+       140           +QYlUe+       141           +QYlUe+       
</States>

<TransRel>
2             "AB_occfl"    3             
2             "AB_accfl"    3             
2             "AB_freetr"   122           
2             "AB_reltr"    30            
2             "AB_reqfl"    3             
2             "CD_occfl"    6             
2             "CD_accfl"    6             
2             "CD_freetr"   67            
2             "CD_reltr"    67            
2             "CD_reqfl"    5             
3             "AB_nack"     2             
4             "AB_pack"     84            
5             "CD_nack"     2             
6             "CD_pack"     13            
7             "ABCD_occfl"  12            
8             "ABCD_accfl"  132           
9             "ABCD_freetr" 15            
10            "ABCD_reltr"  133           
11            "ABCD_reqfl"  12            
12            "ABCD_nack"   16            
12            "ABCD_pack"   17            
13            "AB_occfl"    7             
13            "AB_accfl"    7             
13            "AB_freetr"   39            
13            "AB_reltr"    47            
13            "AB_reqfl"    11            
13            "CD_occfl"    18            
13            "CD_accfl"    18            
13            "CD_freetr"   138           
13            "CD_reltr"    10            
13            "CD_reqfl"    98            
14            "AB_occfl"    96            
14            "AB_accfl"    96            
14            "AB_freetr"   123           
14            "AB_reltr"    123           
14            "AB_reqfl"    55            
14            "CD_occfl"    27            
14            "CD_accfl"    27            
14            "CD_freetr"   76            
14            "CD_reltr"    76            
14            "CD_reqfl"    57            
15            "ABCD_nack"   37            
15            "ABCD_pack"   38            
16            "AB_nack"     13            
17            "AB_pack"     13            
18            "CD_nack"     13            
19            "AB_occfl"    91            
19            "AB_accfl"    91            
19            "AB_freetr"   25            
19            "AB_reltr"    25            
19            "AB_reqfl"    24            
19            "CD_occfl"    63            
19            "CD_accfl"    100           
19            "CD_freetr"   26            
19            "CD_reltr"    26            
19            "CD_reqfl"    26            
1             "AB_occfl"    136           
1             "AB_accfl"    139           
1             "AB_freetr"   36            
1             "AB_reltr"    36            
1             "AB_reqfl"    34            
1             "CD_occfl"    41            
1             "CD_accfl"    53            
1             "CD_freetr"   9             
1             "CD_reltr"    9             
1             "CD_reqfl"    77            
20            "AB_occfl"    7             
20            "AB_accfl"    114           
20            "AB_freetr"   39            
20            "AB_reltr"    39            
20            "AB_reqfl"    74            
20            "CD_occfl"    41            
20            "CD_accfl"    41            
20            "CD_freetr"   9             
20            "CD_reltr"    113           
20            "CD_reqfl"    58            
21            "AB_occfl"    136           
21            "AB_accfl"    136           
21            "AB_freetr"   36            
21            "AB_reltr"    109           
21            "AB_reqfl"    137           
21            "CD_occfl"    18            
21            "CD_accfl"    45            
21            "CD_freetr"   138           
21            "CD_reltr"    138           
21            "CD_reqfl"    104           
22            "AB_occfl"    7             
22            "AB_accfl"    114           
22            "AB_freetr"   39            
22            "AB_reltr"    47            
22            "AB_reqfl"    115           
22            "CD_occfl"    49            
22            "CD_accfl"    49            
22            "CD_freetr"   141           
22            "CD_reltr"    130           
22            "CD_reqfl"    98            
23            "AB_occfl"    8             
23            "AB_accfl"    128           
23            "AB_freetr"   51            
23            "AB_reltr"    51            
23            "AB_reqfl"    129           
23            "CD_occfl"    41            
23            "CD_accfl"    53            
23            "CD_freetr"   9             
23            "CD_reltr"    113           
23            "CD_reqfl"    77            
24            "AB_nack"     19            
25            "AB_pack"     1             
26            "CD_nack"     19            
27            "CD_pack"     59            
28            "AB_occfl"    3             
28            "AB_accfl"    30            
28            "AB_freetr"   122           
28            "AB_reltr"    122           
28            "AB_reqfl"    122           
28            "CD_occfl"    42            
28            "CD_accfl"    42            
28            "CD_freetr"   127           
28            "CD_reltr"    127           
28            "CD_reqfl"    124           
29            "AB_occfl"    65            
29            "AB_accfl"    65            
29            "AB_freetr"   125           
29            "AB_reltr"    72            
29            "AB_reqfl"    65            
29            "CD_occfl"    6             
29            "CD_accfl"    46            
29            "CD_freetr"   67            
29            "CD_reltr"    67            
29            "CD_reqfl"    67            
30            "AB_nack"     84            
31            "CD_nack"     84            
32            "AB_occfl"    65            
32            "AB_accfl"    72            
32            "AB_freetr"   125           
32            "AB_reltr"    125           
32            "AB_reqfl"    125           
32            "CD_occfl"    42            
32            "CD_accfl"    54            
32            "CD_freetr"   127           
32            "CD_reltr"    127           
32            "CD_reqfl"    127           
33            "ABCD_nack"   36            
33            "ABCD_pack"   25            
34            "ABCD_reqfl"  33            
35            "AB_occfl"    136           
35            "AB_accfl"    139           
35            "AB_freetr"   36            
35            "AB_reltr"    109           
35            "AB_reqfl"    140           
35            "CD_occfl"    49            
35            "CD_accfl"    70            
35            "CD_freetr"   141           
35            "CD_reltr"    141           
35            "CD_reqfl"    104           
36            "AB_nack"     1             
37            "CD_nack"     1             
38            "CD_pack"     1             
39            "AB_nack"     20            
40            "AB_pack"     20            
41            "CD_nack"     20            
42            "CD_pack"     20            
43            "AB_nack"     78            
44            "AB_pack"     78            
45            "CD_nack"     78            
46            "CD_pack"     78            
47            "AB_nack"     22            
48            "AB_pack"     22            
49            "CD_nack"     22            
50            "CD_pack"     22            
51            "AB_nack"     23            
52            "AB_pack"     23            
53            "CD_nack"     23            
54            "CD_pack"     23            
55            "AB_nack"     14            
56            "AB_pack"     79            
57            "CD_nack"     14            
58            "CD_pack"     14            
59            "AB_occfl"    119           
59            "AB_accfl"    119           
59            "AB_freetr"   40            
59            "AB_reltr"    40            
59            "AB_reqfl"    62            
59            "CD_occfl"    63            
59            "CD_accfl"    63            
59            "CD_freetr"   26            
59            "CD_reltr"    100           
59            "CD_reqfl"    63            
60            "AB_occfl"    91            
60            "AB_accfl"    91            
60            "AB_freetr"   25            
60            "AB_reltr"    110           
60            "AB_reqfl"    91            
60            "CD_occfl"    120           
60            "CD_accfl"    117           
60            "CD_freetr"   92            
60            "CD_reltr"    92            
60            "CD_reqfl"    92            
61            "ABCD_nack"   39            
61            "ABCD_pack"   40            
62            "AB_nack"     59            
63            "CD_nack"     59            
64            "AB_occfl"    119           
64            "AB_accfl"    119           
64            "AB_freetr"   40            
64            "AB_reltr"    48            
64            "AB_reqfl"    119           
64            "CD_occfl"    120           
64            "CD_accfl"    120           
64            "CD_freetr"   92            
64            "CD_reltr"    117           
64            "CD_reqfl"    120           
65            "AB_nack"     29            
66            "AB_pack"     85            
67            "CD_nack"     29            
68            "AB_occfl"    102           
68            "AB_accfl"    102           
68            "AB_freetr"   126           
68            "AB_reltr"    126           
68            "AB_reqfl"    75            
68            "CD_occfl"    27            
68            "CD_accfl"    93            
68            "CD_freetr"   76            
68            "CD_reltr"    76            
68            "CD_reqfl"    76            
69            "AB_nack"     79            
70            "CD_nack"     79            
71            "CD_pack"     79            
72            "AB_nack"     85            
73            "CD_nack"     85            
74            "ABCD_reqfl"  61            
75            "AB_nack"     68            
76            "CD_nack"     68            
77            "CD_pack"     68            
78            "AB_occfl"    8             
78            "AB_accfl"    8             
78            "AB_freetr"   51            
78            "AB_reltr"    69            
78            "AB_reqfl"    101           
78            "CD_occfl"    18            
78            "CD_accfl"    45            
78            "CD_freetr"   138           
78            "CD_reltr"    10            
78            "CD_reqfl"    104           
79            "AB_occfl"    8             
79            "AB_accfl"    128           
79            "AB_freetr"   51            
79            "AB_reltr"    69            
79            "AB_reqfl"    131           
79            "CD_occfl"    49            
79            "CD_accfl"    70            
79            "CD_freetr"   141           
79            "CD_reltr"    130           
79            "CD_reqfl"    104           
80            "ABCD_nack"   107           
80            "ABCD_pack"   108           
81            "ABCD_nack"   105           
81            "ABCD_pack"   106           
82            "AB_occfl"    116           
82            "AB_accfl"    116           
82            "AB_freetr"   52            
82            "AB_reltr"    52            
82            "AB_reqfl"    99            
82            "CD_occfl"    63            
82            "CD_accfl"    100           
82            "CD_freetr"   26            
82            "CD_reltr"    100           
82            "CD_reqfl"    100           
83            "AB_occfl"    116           
83            "AB_accfl"    116           
83            "AB_freetr"   52            
83            "AB_reltr"    56            
83            "AB_reqfl"    116           
83            "CD_occfl"    120           
83            "CD_accfl"    117           
83            "CD_freetr"   92            
83            "CD_reltr"    117           
83            "CD_reqfl"    117           
84            "AB_occfl"    3             
84            "AB_accfl"    30            
84            "AB_freetr"   122           
84            "AB_reltr"    30            
84            "AB_reqfl"    30            
84            "CD_occfl"    50            
84            "CD_accfl"    50            
84            "CD_freetr"   73            
84            "CD_reltr"    73            
84            "CD_reqfl"    31            
85            "AB_occfl"    65            
85            "AB_accfl"    72            
85            "AB_freetr"   125           
85            "AB_reltr"    72            
85            "AB_reqfl"    72            
85            "CD_occfl"    50            
85            "CD_accfl"    71            
85            "CD_freetr"   73            
85            "CD_reltr"    73            
85            "CD_reqfl"    73            
86            "ABCD_nack"   47            
86            "ABCD_pack"   48            
87            "ABCD_nack"   53            
87            "ABCD_pack"   54            
88            "ABCD_nack"   51            
88            "ABCD_pack"   52            
89            "ABCD_nack"   109           
89            "ABCD_pack"   110           
90            "ABCD_nack"   111           
90            "ABCD_pack"   112           
91            "AB_nack"     60            
92            "CD_nack"     60            
93            "CD_pack"     82            
94            "AB_occfl"    96            
94            "AB_accfl"    96            
94            "AB_freetr"   123           
94            "AB_reltr"    4             
94            "AB_reqfl"    96            
94            "CD_occfl"    121           
94            "CD_accfl"    121           
94            "CD_freetr"   103           
94            "CD_reltr"    103           
94            "CD_reqfl"    97            
95            "AB_occfl"    102           
95            "AB_accfl"    102           
95            "AB_freetr"   126           
95            "AB_reltr"    66            
95            "AB_reqfl"    102           
95            "CD_occfl"    121           
95            "CD_accfl"    118           
95            "CD_freetr"   103           
95            "CD_reltr"    103           
95            "CD_reqfl"    103           
96            "AB_nack"     94            
97            "CD_nack"     94            
98            "CD_pack"     94            
99            "AB_nack"     82            
100           "CD_nack"     82            
101           "ABCD_reqfl"  132           
102           "AB_nack"     95            
103           "CD_nack"     95            
104           "CD_pack"     95            
105           "AB_nack"     21            
106           "AB_pack"     21            
107           "CD_nack"     21            
108           "CD_pack"     21            
109           "AB_nack"     35            
110           "AB_pack"     35            
111           "CD_nack"     35            
112           "CD_pack"     35            
113           "ABCD_reltr"  87            
114           "ABCD_accfl"  86            
115           "ABCD_reqfl"  86            
116           "AB_nack"     83            
117           "CD_nack"     83            
118           "CD_pack"     83            
119           "AB_nack"     64            
120           "CD_nack"     64            
121           "CD_pack"     64            
122           "AB_nack"     28            
123           "AB_pack"     28            
124           "CD_nack"     28            
125           "AB_nack"     32            
126           "AB_pack"     32            
127           "CD_nack"     32            
128           "ABCD_accfl"  134           
129           "ABCD_reqfl"  88            
130           "ABCD_reltr"  135           
131           "ABCD_reqfl"  134           
132           "ABCD_nack"   43            
132           "ABCD_pack"   44            
133           "ABCD_nack"   45            
133           "ABCD_pack"   46            
134           "ABCD_nack"   69            
134           "ABCD_pack"   56            
135           "ABCD_nack"   70            
135           "ABCD_pack"   71            
136           "ABCD_accfl"  81            
137           "ABCD_reqfl"  81            
138           "ABCD_reltr"  80            
139           "ABCD_accfl"  89            
140           "ABCD_reqfl"  89            
141           "ABCD_reltr"  90            
</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            62            63            64            65            66            
67            68            69            70            71            72            
73            74            75            76            77            78            
79            80            81            82            83            84            
85            86            87            88            89            90            
91            92            93            94            95            96            
97            98            99            100           101           102           
103           104           105           106           107           108           
109           110           111           112           113           114           
115           116           117           118           119           120           
121           122           123           124           125           126           
127           128           129           130           131           132           
133           134           135           136           137           138           
139           140           141           
</MarkedStates>


</Generator>