A finite capacity multi-server multi-queueing priority model with non-renewal input · Study