A general result for deriving product-form solutions in markovian models

Authors:
Andrea Marin;Maria Grazia Vigliotti
Affiliations:
Università Ca' Foscari di Venezia, Venice, Italy;Imperial College London, London, United Kingdom
Venue:
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
Year:
2010

Citing 13
Cited 6

Product form equilibrium distributions and a convolution algorithm for stochastic Petri nets

Performance Evaluation
Product form solution for a class of PEPA models

IPDS '98 Proceedings of the third IEEE international performance and dependability symposium on International performance and dependability symposium
A BCMP extension to multiserver stations with concurrent classes of customers

SIGMETRICS '86/PERFORMANCE '86 Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, measurement and evaluation
Open, Closed, and Mixed Networks of Queues with Different Classes of Customers

Journal of the ACM (JACM)
A Characterization of Independence for Competing Markov Chains with Applications to Stochastic Petri Nets

IEEE Transactions on Software Engineering
Product Form Solution for Generalized Stochastic Petri Nets

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

Theoretical Computer Science
Modeling a new technique for accessing shared buses

Proceedings of the Computer Network Performance Symposium
Model-Checking Algorithms for Continuous-Time Markov Chains

IEEE Transactions on Software Engineering
Compositional reversed Markov processes, with applications to G-networks

Performance Evaluation
Uniformization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models

Journal of Parallel and Distributed Computing
Performance evaluation of UML software architectures with multiclass Queueing Network models

Proceedings of the 5th international workshop on Software and performance
Concurrency: State Models And Java Programs

Concurrency: State Models And Java Programs

Performance engineering with product-form models: efficient solutions and applications

Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Explicit solutions for queues with hypo-exponential service time and applications to product-form analysis

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Methodological construction of product-form stochastic Petri nets for performance evaluation

Journal of Systems and Software
Algorithmic product-form approximations of interacting stochastic models

Computers & Mathematics with Applications
Operational semantics for product-form solution

EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Operational semantics for product-form solution

EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we provide a general method to derive product-form solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem and we provide a different formulation using labeled automata, a generalization which encompasses a bigger class of product-form solutions, and a new proof based on the solution of the system of global balance equations. We show that our result may have practical applications in the performance evaluation of complex software and hardware architectures and can be the base for the development of new analysis tools or the extension of existing ones.