Example Data: tmp_hio_cb_A_plant.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"plant_A"
%
% Statistics for plant_A
%
% States: 37
% Init/Marked: 1/29
% Events: 15
% Transitions: 83
% StateSymbols: 0
% Attrib. E/S/T: 15/0/0
%
<Alphabet>
"A_r" +UP+ "A_l" +UP+ "A_stp" +UP+
"A_wait" +YP+ "A_full" +YP+ "A_arrtl" +YP+
"A_arrtr" +YP+ "A_reqfl" +YE+ "A_reqfr" +YE+
"A_occfr" +YE+ "A_occfl" +YE+ "A_freetl" +YE+
"A_freetr" +YE+ "A_nack" +UE+ "A_pack" +UE+
</Alphabet>
<States>
<Consecutive>
1 37
</Consecutive>
</States>
<TransRel>
1 "A_wait" 2
2 "A_r" 19
2 "A_l" 3
2 "A_stp" 1
3 "A_reqfr" 4
4 "A_nack" 3
4 "A_pack" 5
5 "A_wait" 6
5 "A_full" 7
6 "A_r" 35
6 "A_l" 5
6 "A_stp" 35
7 "A_r" 35
7 "A_l" 10
7 "A_stp" 8
8 "A_occfr" 9
9 "A_nack" 8
9 "A_pack" 12
10 "A_occfr" 11
11 "A_nack" 10
11 "A_pack" 14
12 "A_wait" 13
13 "A_r" 30
13 "A_l" 14
13 "A_stp" 12
14 "A_wait" 15
14 "A_arrtl" 16
15 "A_r" 35
15 "A_l" 14
15 "A_stp" 35
16 "A_r" 35
16 "A_l" 35
16 "A_stp" 17
17 "A_freetl" 18
18 "A_nack" 17
18 "A_pack" 1
19 "A_reqfl" 20
20 "A_nack" 19
20 "A_pack" 21
21 "A_wait" 22
21 "A_full" 23
22 "A_r" 21
22 "A_l" 35
22 "A_stp" 35
23 "A_r" 28
23 "A_l" 35
23 "A_stp" 24
24 "A_occfl" 25
25 "A_nack" 24
25 "A_pack" 26
26 "A_wait" 27
27 "A_r" 30
27 "A_l" 14
27 "A_stp" 26
28 "A_occfl" 29
29 "A_nack" 28
29 "A_pack" 30
30 "A_wait" 31
30 "A_arrtr" 32
31 "A_r" 30
31 "A_l" 35
31 "A_stp" 35
32 "A_r" 35
32 "A_l" 35
32 "A_stp" 33
33 "A_freetr" 34
34 "A_nack" 33
34 "A_pack" 1
35 "A_wait" 36
35 "A_full" 36
35 "A_arrtl" 36
35 "A_arrtr" 36
35 "A_reqfl" 37
35 "A_reqfr" 37
35 "A_occfr" 37
35 "A_occfl" 37
35 "A_freetl" 37
35 "A_freetr" 37
36 "A_r" 35
36 "A_l" 35
36 "A_stp" 35
37 "A_nack" 35
37 "A_pack" 35
</TransRel>
<InitStates>
1
</InitStates>
<MarkedStates>
1 2 3 4
<Consecutive>
7 13
</Consecutive>
16 17 18 19 20
<Consecutive>
23 29
</Consecutive>
32 33 34 35 36 37
</MarkedStates>
</Generator>