Многие системы можно описать такой моделью. Ящик имеет

входов и

выходов. Каждый шар поступает на один из входов и оказывается на одном из выходов. При этом существует определённая вероятность

того, что шар с

-го входа попадёт на

-й выход. Вероятности
определяются только конструкцией ящика и не зависят от вероятностей шара попасть на определённый вход. Мы записываем их в виде матрицы

.
(Оффтоп)
Я привык к стандарту, когда входы соответствуют столбцам матрицы, а выходы — строкам, но подстраиваюсь под Ваши определения, имею в виду матрицу

. Мне хотелось бы транспонировать все матрицы, о которых я говорил.
Соединим выходы этого ящика со входами второго ящика (с

входами и

выходами и матрицей переходов

). Оба ящика вместе можно рассматривать как один составной. Пусть шар поступает на его

-й вход. Вероятность того, что шар окажется на

-м выходе, по формуле полной вероятности (Ширяев, с.36) равна

. То есть матрица составного ящика равна

. Обращаю внимание, что этот результат не получится, если элементы

имеют смысл вероятности того, что шар, оказавшийся на

-м выходе, попал туда с

-го входа. Не любые совместимые по размерам матрицы имеет смысл перемножать.
С этой точки зрения произведение

выглядит малоосмысленным. Непонятно, что оно выражает.
Более того, рассмотрим ящик с двумя входами и двумя выходами и матрицей

. Чему равна матрица вероятностей

того, что шар, попавший на

-й выход, пришёл на

-й вход? Ответ: неизвестно чему. Эти вероятности зависят не только от ящика, но и от вероятностей поступления шара на определённый вход. (Например, шары вообще могут приходить только на один вход.) Важно, исходя из задачи, определиться с тем, какие вероятности,

или

, определяются только ящиком и не зависят от «поступления». От этого зависят и результаты моделирования, и соответствие модели явлению.