Спасибо за ответ !
Через две отдельные диаграммы состояний можно всё четко смоделировать, да.
Понимаю, что диаграмма состояний сама по себе не предназначена для моделирования взаимодействия между объектами.
Но мне нужен акцент на наглядности, для этого хочу изобразить оба автомата на одной диаграмме. UML позволяет показать на одной диаграмме действия осуществляемые при переходе между состояниями одного объекта, если они осуществляются над вторым объектом, в виде стрелочек между переходом и вторым автоматом. Это очень наглядно, и позволяет выделить такие действия среди множества других. Предполагается только очевидно, что оба объекта уже существуют.
Хотелось бы как-нибудь промоделировать создание второго объекта по переходу между состояниями первого.