Automated product-forms with Meercat

Authors:
Ashok Argent-Katwala
Affiliations:
Imperial College London, London, UK
Venue:
SMCtools '06 Proceeding from the 2006 workshop on Tools for solving structured Markov chains
Year:
2006

Citing 5
Cited 4

Open, Closed, and Mixed Networks of Queues with Different Classes of Customers

Journal of the ACM (JACM)
G-Networks with resets

Performance Evaluation
A Characterization of Independence for Competing Markov Chains with Applications to Stochastic Petri Nets

IEEE Transactions on Software Engineering
Turning back time in Markovian process algebra

Theoretical Computer Science
Separable equilibrium state probabilities via time reversal in Markovian process algebra

Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)

A numerical algorithm for the solution of product-form models with infinite state spaces

EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
Performance engineering with product-form models: efficient solutions and applications

Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
An initiative for a classified bibliography on G-networks

Performance Evaluation
Bibliography on G-networks, negative customers and applications

Mathematical and Computer Modelling: An International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Reversed Compound Agent Theorem (RCAT) is a compositional result that uses Markovian process algebra to derive the reversed process of two cooperating continuous time Markov chains at equilibrium, under certain conditions. From this reversed process, together with the given, forward process, the joint state probabilities can be expressed as a product-form.We introduce MEERCAT, the first implementation of the RCAT, which classifies models where the theorem can be applied, and generates their product-form solutions.