Markovian process algebras, such as PEPA and stochastic π-calculus, bring a powerful
compositional approach to the performance modelling of complex systems. However, the …

In this tutorial we give an introduction to stochastic process algebras and their use in
performance modelling, with a focus on the PEPA formalism. A brief introduction is given to …

In this paper we describe a formalism which uses the stochastic process algebra PEPA as
the inscription language for labelled stochastic Petri nets. Viewed in another way, the net is …

Internet worms are classically described using SIR models and simulations, to capture the
massive dynamics of the system. Here we are able to generate a differential equation-based …

This paper provides an overview of improved facilities for performance analysis using
coloured Petri nets. Coloured Petri nets is a formal method that is well suited for modeling …

This paper gives a summary of some of the work of the Performance Evaluation Process
Algebra (PEPA) project, which was awarded the 2004 Roger Needham Award from the …

A cellular hierarchical network with heterogeneous traffic is considered, where calls with
shorter (longer) average call-holding time are assigned to the associated lower (upper) …

Develo** analytical availability models for k-out-of-n: G warm standby repairable systems
with many nonidentical components is tedious and error-prone, requiring specification of the …

Web service instances are often replicated to allow service provision to scale to support
larger population sizes of users. However, such systems are difficult to analyse because the …

The accurate performance analysis of large-scale computer and communication systems is
directly inhibited by an exponential growth in the state-space of the underlying Markovian …