так а что там доработать?) Рисовать явно стрелки от блоков, где можно вернуться назад не красиво, бизнес на это не пойдёт, поэтому и делаем возможность возврата без явного указания в диаграмме.
Но вот проблему возврата в дочерние процессы, как решить "красиво" пока не придумали
Простите, а почему не красиво рисовать стрелочки? У вас процесс описывает куда по нему можно ходить, если вы один из переходов не опишите, но как-то закодите - саму идею описацния процесса в нотации похерите