×

zbMATH — the first resource for mathematics

Compositional Markovian modelling using a process algebra. (English) Zbl 0861.90121
Stewart, William J. (ed.), Computations with Markov chains. Proceedings of the 2nd international workshop on the numerical solution of Markov chains, Raleigh, NC, USA, January 16–18, 1995. Boston, MA: Kluwer Academic Publishers. 177-196 (1995).
Summary: We introduce a stochastic process algebra, PEPA, as a high-level modelling paradigm for continuous time Markov chains (CTMC). Process algebras are mathematical theories which model concurrent systems by their algebra and provide apparatus for reasoning about the structure and behaviour of the model. Recent extensions of these algebras, associating random variables with actions, make the models also amenable to Markovian analysis. A compositional structure is inherent in the PEPA language. As well as the clear advantages that this offers for model construction, we demonstrate how this compositionality may be exploited to reduce the state space of the CTMC. This leads to an exact aggregation based on lumpability.
For the entire collection see [Zbl 0940.00042].

MSC:
90C40 Markov and semi-Markov decision processes
Software:
PEPA; PEPS
PDF BibTeX XML Cite