Нет должен тогда стоять fork, в который входили бы обе стрелки, а выходила одна - на действие.
вряд ли
fork, наверно имеется в виду
merge. Merge (по-русски слияние?) можно рассматривать как логическое
или в отличии от синхронизации, которая тождественна логическому
и. Правда с синхронизацией возможны разные варианты.
На первом рисунке не всё правильно, второй, по-моему, правильней и должен также показать возможности синхронизации.