12.4 有限队长、泊松输入、指数服务分布的系统