RCAT : From PEPA to Product form

@inproceedings{Bradley2007RCATF,
  title={RCAT : From PEPA to Product form},
  author={Jeremy T. Bradley},
  year={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.