Example Data: tmp_hio_simpleController_AB.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"HioSynth(IoShuffle(hio - simple machine Ahio...ine B)||hio - simple environment AB,hio - simple specification AB)"
%
% Statistics for HioSynth(IoShuffle(hio - simple machine Ahio...ine B)||hio - simple environment AB,hio - simple specification AB)
%
% States: 43
% Init/Marked: 1/43
% Events: 9
% Transitions: 79
% StateSymbols: 0
% Attrib. E/S/T: 9/43/0
%
<Alphabet>
"A_wait" +YP+ "A_do" +UP+ "A_stp" +UP+
"B_wait" +YP+ "B_do" +UP+ "B_stp" +UP+
"AB_WAIT" +YC+ "AB_STANDBY" +UC+ "AB_OPERATE" +UC+
</Alphabet>
<States>
1 +QYp+ 2 +QYp+ 3 +QUp+
4 +QYcUp+ 5 +QUp+ 6 +QYcUp+
7 +QYcUp+ 8 +QYcUp+ 9 +QYcUp+
10 +QUp+ 11 +QUp+ 12 +QUp+
13 +QUp+ 14 +QUc+ 15 +QYp+
16 +QUc+ 17 +QYp+ 18 +QYp+
19 +QUc+ 20 +QYp+ 21 +QYp+
22 +QYp+ 23 +QYp+ 24 +QYp+
25 +QUc+ 26 +QYp+ 27 +QUc+
28 +QUc+ 29 +QYcUp+ 30 +QYp+
31 +QUp+ 32 +QYcUp+ 33 +QYcUp+
34 +QUp+ 35 +QYp+ 36 +QYcUp+
37 +QYcUp+ 38 +QUp+ 39 +QYcUp+
40 +QYcUp+ 41 +QYcUp+ 42 +QUp+
43 +QYcUp+
</States>
<TransRel>
2 "A_wait" 3
2 "B_wait" 12
3 "A_do" 35
3 "A_stp" 2
4 "A_stp" 24
4 "AB_WAIT" 14
5 "A_do" 35
6 "B_do" 30
6 "B_stp" 15
6 "AB_WAIT" 25
7 "B_stp" 21
7 "AB_WAIT" 27
8 "B_do" 30
8 "AB_WAIT" 28
9 "AB_WAIT" 16
10 "A_stp" 35
11 "B_do" 30
11 "B_stp" 15
12 "B_stp" 17
13 "B_do" 17
14 "AB_STANDBY" 42
14 "AB_OPERATE" 3
15 "A_wait" 37
15 "B_wait" 6
16 "AB_STANDBY" 42
16 "AB_OPERATE" 5
17 "A_wait" 5
17 "B_wait" 12
18 "A_wait" 36
18 "B_wait" 43
19 "AB_STANDBY" 10
19 "AB_OPERATE" 31
20 "A_wait" 41
20 "B_wait" 7
21 "A_wait" 9
21 "B_wait" 7
22 "A_wait" 37
22 "B_wait" 8
23 "A_wait" 31
23 "B_wait" 34
24 "A_wait" 4
24 "B_wait" 39
25 "AB_STANDBY" 11
25 "AB_OPERATE" 34
26 "A_wait" 31
26 "B_wait" 13
27 "AB_STANDBY" 38
27 "AB_OPERATE" 12
28 "AB_STANDBY" 11
28 "AB_OPERATE" 13
29 "A_stp" 35
29 "AB_WAIT" 19
30 "A_wait" 32
30 "B_wait" 40
31 "A_stp" 26
32 "A_stp" 24
32 "AB_WAIT" 16
33 "B_do" 30
33 "B_stp" 18
33 "AB_WAIT" 28
34 "B_do" 17
34 "B_stp" 23
35 "A_wait" 29
35 "B_wait" 33
36 "AB_WAIT" 19
37 "A_stp" 22
37 "AB_WAIT" 19
38 "B_stp" 30
39 "AB_WAIT" 27
40 "B_stp" 30
40 "AB_WAIT" 27
41 "A_stp" 20
41 "AB_WAIT" 14
42 "A_stp" 20
43 "B_do" 30
43 "B_stp" 18
43 "AB_WAIT" 25
1 "A_wait" 37
1 "B_wait" 33
</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
</MarkedStates>
</Generator>