A short introduction to RCAT and reversed processes based on the stochastic process algebra PEPA. We make use of the standard PEPA syntax throughout and show how product form steady state formulae can be produced using RCAT. This is used on the Performance Analysis course (336) in the Department of Computing.
Note that a new version of this report was added 28 Feb 2008. This expanded on the previous version and also corrected a few errors.
Information from pubs.doc.ic.ac.uk/rcat-pepa-product-form.