Lumping and reversed processes in cooperating automata

DOI10.1007/S10479-014-1694-3zbMath1342.60130OpenAlexW2134779456MaRDI QIDQ291348

Andrea Marin, Simonetta Balsamo, Gian-Luca Dei Rossi

Publication date: 7 June 2016

Published in: Annals of Operations Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10479-014-1694-3

zbMATH Keywords

stochastic modelingperformance evaluationcontinuous-time Markov chainslumpingproduct forms

Mathematics Subject Classification ID

Queueing theory (aspects of probability theory) (60K25) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Continuous-time Markov processes on discrete state spaces (60J27) Applications of continuous-time Markov processes on discrete state spaces (60J28)

Related Items (1)

Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses

Uses Software

• SPADES
• PEPA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The two-dimensional \(g\)-fraction with independent variables for double power series
• Interactive Markov chains. And the quest for quantified quality
• Optimal state-space lumping in Markov chains
• Turning back time in Markovian process algebra.
• Symbolic state-space exploration and numerical analysis of state-sharing composed models
• Separable solutions for Markov processes in random environments
• Comparative branching-time semantics for Markov chains
• Lumping and Reversed Processes in Cooperating Automata
• Queueing Networks
• Simple O(m logn) Time Markov Chain Lumping
• Computable Error Bounds for Aggregated Markov Chains
• Bounds for the Positive Eigenvectors of Nonnegative Matrices and for their Approximations by Decomposition
• An Extension of Norton's Theorem for Queueing Networks
• Product-form queueing networks with negative and positive customers
• Parametric Analysis of Queuing Networks
• Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
• Generalized product-form stationary distributions for Markov chains in random environments with queueing applications
• The Output of a Queuing System
• A Compositional Approach to Performance Modelling
• A Symbolic Algorithm for Optimal Markov Chain Lumping

This page was built for publication: Lumping and reversed processes in cooperating automata