Solving Infinite Stochastic Process Algebra Models through Matrix-Geometric Methods

. We introduce a Stochastic Process Algebra called PEPA 1 ph , based on Hillston's PEPA. PEPA 1 ph is suitable for describing and analysing the performance of certain kinds of queues, such as Ph=Ph=c and M=Ph=1. The activities of PEPA 1 ph components have durations given by phase-type distributions. To overcome the state space explosion that arises when solving the models through the underlying Markov process we instead use the Matrix-Geometric Method. Though the method proposed here can only be applied to a fragment of PEPA 1 ph because of its dependence on the structure of the system, we can solve models with potentially infinitely many customers queued (an unbounded buffer), in contrast to the approaches used in SPAs such as PEPA, TIPP and EMPA. 1 Introduction Conventional Stochastic Process Algebras, to mention PEPA [1], only allow durations of activities to be exponentially distributed. Though this has several advantages, such as a straightforward representation for dist..