При определении активности используйте узлы параметров активности (маленький прямоугольник, пересекающий границу активности). При изображении действия вызова активности используйте булавки.Каждый параметр активности in и inout будет иметь соответствующий входной контакт (соответственно параметр out и inout будет иметь выходной контакт).Теперь, если у предыдущего действия есть два выходных контакта (по одному для каждого игрока), когда действие заканчивается, предложит токен на каждом из его выходных контактов, чтобы он работал как неявный форк.Таким образом, поток объекта перейдет от одного выходного контакта к входному контакту (в вашем случае) левого действия (P1), а другой поток объекта перейдет от второго выходного контакта к входному контакту правого действия.
Контактыузлы объекта, поэтому мы будем помечены именем и типом объекта (_P1:Player_).
Извините, у меня нет доступа к инструменту, соответствующему этой части спецификации, чтобы дать вам пример.