А, так у Вас просто с отказами - т.е. без очереди? Да, конечно, это верные формулы (опечатка в последнем слагаемом для P0 - там ро^n/n!). Эти формулы верны для простейшего входного потока и любого процесса обслуживания, если времена обслуживания независимы, одинаково распределены и не зависят от входного потока (древние результаты Vaulot A.E., F.Pollaczek, C.Palm, L.Kosten, R.Fortet, Б.А.Севастьянова. В частности, наиболее полное док-во см. в Б.А.Севастьянов "Формулы Эрланга в телефонии при произвольном законе распределения длительности разговоров". Труды III Всесоюзного математического съезда 1956 г., т.4, АН СССР, 1959, с.68-70).
Т.е. всё работает в ситуации M/GI/n/0 (0 - c отказами, если все приборы заняты).