Semi-Product-Form Solution for PEPA Models with Functional Rates

摘要

We consider the problem of finding a separable solution for the equilibrium state probabilities in a Markovian process algebra model, in which the action rates may depend on the behaviour of other components. To do this we consider regular cycles in the underlying state space and show that a semi-product form solution exists when the functions describing the action rates have specific forms. The approach is illustrated with two examples, one a generalised version of a known state-dependent queueing network and the other in the domain of security protocols.