Graphics Programs Reference
In-Depth Information
Throughput
0.096
Lower
Exact
Upper
0.094
N
Bound
Value
Bound
5
0.082850
0.089363
0.092707
0.092
6
0.086305
0.089363
0.094580
0.090
7
0.088755
0.094143
0.095459
0.088
8
0.090531
0.095036
0.095847
0.086
9
0.091839
0.095036
0.096011
0.084
10
0.092816
0.095681
0.096079
0.082
K
5
6
7
8
9
10
Figure 8.16: Throughput as a function of N compared with the lower and
upper bounds
No. of
states
Bounds
Exact
30.000
exact model
N
Model
Model
25.000
5
275
1072
20.000
6
507
2397
7
873
4922
15.000
8
1421
9431
10.000
lower-upper
bound model
9
2207
17059
5.000
10
3295
29388
0
5
6
7
8
9
10
N
Figure 8.17: State space growth as a function of N for the two GSPN models
of the FMS
Search WWH ::
Custom Search