Markovian queueing system