1: \begin{abstract}
2: This paper demonstrates a lower and upper solution method to
3: investigate the asymptotic behaviour of the conservative
4: reaction-diffusion systems associated with Markovian process algebra models.
5: In particular, we have proved the uniform convergence of the solution
6: to its constant equilibrium for a case study as time tends to infinity,
7: together with experimental results illustrations.
8: %The techniques and results established in this paper
9: %are expected to extend to more general Markov process algebra models.
10:
11: %This paper presents an extension of the fluid approximation of a
12: %PEPA model by augmenting with diffusion to take spatial
13: %information into account, which is described by a
14: %reaction-diffusion system with homogeneous Neumann boundary
15: %conditions. The existence and uniqueness of the solution are
16: %given, positivity and boundedness of the solution to the system
17: %are also established. Moreover, sufficient conditions for the
18: %convergence are discussed under different cases. Our results show
19: %that the action rates determine the behavior of positive
20: %solutions. Numerical simulations are presented to illustrate the
21: %analytical results.
22: \end{abstract}