Embedded Processes in Stochastic Petri Nets
IEEE Transactions on Software Engineering
A compositional approach to performance modelling
A compositional approach to performance modelling
IEEE Transactions on Software Engineering
Turning back time in Markovian process algebra
Theoretical Computer Science
Embedded Processes in Generalized Stochastic Petri Nets
PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
Compositional reversed Markov processes, with applications to G-networks
Performance Evaluation
Mean Value Analysis for a Class of PEPA Models
EPEW '09 Proceedings of the 6th European Performance Engineering Workshop on Computer Performance Engineering
Short communication: Product-forms and functional rates
Performance Evaluation
State-dependent rates and semi-product-form via the reversed process
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
Formal performance modelling: from protocols to people
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Formal performance modelling: from protocols to people
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
| Hi-index | 0.01 |
In this paper we use the reversed process to derive expressions for the steady state probability distribution of a class of productform PEPA models. In doing so we exploit the Reversed Compound Agent Theorem (RCAT) to compute the rates within reversed components of a model. The class of model is, in essence, a generalised, closed, queueing network that might also be solved by mean value analysis, if full distributions are not needed, or approximated using a fluid flow approximation. A general formulation of RCAT is given and the process is illustrated with a running example, including several new variations that consider effects such as multiple servers, competing services and functional rates within actions.