Lumping and reversed processes in cooperating automata

DOI10.1007/S10479-014-1694-3zbMATH Open1342.60130OpenAlexW2134779456MaRDI QIDQ291348FDOQ291348

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

performance evaluationcontinuous-time Markov chainsstochastic modelinglumpingproduct forms

Mathematics Subject Classification ID

Applications of continuous-time Markov processes on discrete state spaces (60J28) 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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
• Interactive Markov chains. And the quest for quantified quality
• A Compositional Approach to Performance Modelling
• 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
• Revisiting interactive 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
• Generalized product-form stationary distributions for Markov chains in random environments with queueing applications
• The Output of a Queuing System
• A Symbolic Algorithm for Optimal Markov Chain Lumping
• The two-dimensional \(g\)-fraction with independent variables for double power series

Cited In (1)

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

Uses Software

• SPADES
• PEPA

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q291348)