Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses.

Andrea Marin Sabina Rossi

Published in: QEST (2015)

Keyphrases

product form
steady state
queueing networks
stationary distribution
queuing network
markov chain
connected components
finite state
state dependent
queue length
np hard
graphical models