Decomposing the queue length distribution of processor-sharing models into queue lengths of permanent customer queues · Study