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>