Research Article
Automated product-forms with Meercat
@INPROCEEDINGS{10.1145/1190366.1190375, author={Ashok Argent-Katwala}, title={Automated product-forms with Meercat}, proceedings={1st International ICST Workshop on Tools for solving Structured Markov Chains}, publisher={ACM}, proceedings_a={SMCTOOLS}, year={2012}, month={4}, keywords={}, doi={10.1145/1190366.1190375} }- Ashok Argent-Katwala
Year: 2012
Automated product-forms with Meercat
SMCTOOLS
ACM
DOI: 10.1145/1190366.1190375
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.
Copyright © 2006–2024 ACM
