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>