ida, вторая диаграмма - нормальная диаграмма автомата. К ней претензия только одна.
Почему такие странные действия на входе (entry).
Например, "Акт сформирован", "Печать стоит" и пр. Звучит совсем не как действие, а как констатация факта или условие.
Кстати, Batak, запись entry должна быть одна. Если действий несколько, то они перечисляются через запятую. Такая последовательность действий также является действием.
Такая же ситуация с деятельностью do. Она должна быть одна. Если деятельностей несколько - перечисляй через запятую.