Highly Influenced

@inproceedings{Bradley2007RCATF, title={RCAT : From PEPA to Product form}, author={Jeremy T. Bradley}, year={2007} }

- Published 2007

Whereas product forms such as Jackson’s theorem operate over queueing networks, RCAT operates over the stochastic process algebra components defined in PEPA [3]. In the same way that Jackson’s theorem relates the global steadystate probability to the steady-state distributions of the constituent queueing nodes, so RCAT relates the steady state distribution of the global state space of the PEPA model to that of the individual PEPA components.