Заметил особенность - оператор "включающего или" при синхронизации действует схожим образом, как оператор "исключающего или".
Т. е. при вхождении в него 2 и более активированных ветвей, он ожидает завершение первой пришедшей ветки.
Ожидаемое поведение (цитата из Википедии):
Оператор включающего «или» (inclusive gateway) активирует одну или более исходящих ветвей, в случае, когда осуществляется ветвление. Если оператор используется для синхронизации, то он ожидает завершения выполнения всех активированных ветвей и активирует выходной поток.
Оператор исключающего «или», управляемый данными (англ. data-based exclusive gateway). Если оператор используется для ветвления, то поток управления направляется лишь по одной исходящей ветви. Если оператор используется для синхронизации, то он ожидает завершения выполнения одной входящей ветви и активирует выходной поток.
