Finite-Source Priority Queues · Study