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