A finite buffer queue with priorities · Study