Ph. D. thesis additional material
This page hosts some additional data and material which, for the sake of
brevity, did not appear explicitly in my Ph. D. thesis.
GPEPA models
Below are a number of the models defined in the thesis given in the grouped
PEPA (GPEPA) formalism ready for use with the Grouped PEPA Analyser (GPA)
tool. These models should work with the latest version but have been tested
with this version 0.9.2.
-
Client–server model
CS(n,m) (Chapter 3)
-
Client–server model with one cycle explicit
CS'(n,m) (Chapter
4)
-
Client–server model with two cycles explicit
CS_2'(n,m) (Chapter
4)
-
Distributed wireless network model
DWN(n_c,n_h) (Chapter
5)
Matlab solvers for the ODE systems
Below are a number of Matlab files, generated by GPA, which contain some of the
systems of ODEs defined in the thesis. They also contain code to integrate these
numerically. The main function in each one takes two parameters: the first is
the upper bound of the time range over which to integrate and the second is
the step size the integrator should use.
-
Client–server model CS(n,m)
-
Client–server model with one cycle explicit CS'(n,m)
-
Client–server model with two cycles explicit CS_2'(n,m)
-
Distributed wireless network model DWN(n_c,n_h)