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

DOI10.1007/978-3-642-39408-9_29zbMath1390.68492OpenAlexW43528323MaRDI QIDQ2843075

Nigel Thomas, Peter G. Harrison

Publication date: 9 August 2013

Published in: Analytical and Stochastic Modeling Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39408-9_29

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Proportional lumpability and proportional bisimilarity

Uses Software

• PEPA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A fluid analysis framework for a Markovian process algebra
• Optimal state-space lumping in Markov chains
• Turning back time in Markovian process algebra.
• Reversed processes, product forms and a non-product form
• Separable equilibrium state probabilities via time reversal in Markovian process algebra
• Product forms for queueing networks with state-dependent multiple job transitions
• Queuing Network Models with State-Dependent Routing
• The Distribution of Queuing Network States at Input and Output Instants
• Insensitivity in processor-sharing networks
• A Compositional Approach to Performance Modelling
• State-dependent coupling of quasireversible nodes

This page was built for publication: Semi-Product-Form Solution for PEPA Models with Functional Rates