In this paper, by using C0-semigroup theory the existence of a unique positive time-dependent solution of a bulk service queue with finite waiting space is proved.

• 应用有界线性算子半群理论证明一类成批服务系统的解的存在唯一性和非负性。