Добрый день.

Есть объект. Есть набор состояний. Часть из них взаимоисключающая, часть совокупная...
Например А1 А2 А3 А4 - объект может находиться только в одном из них... Переходы между ними такие:
A1 -> A2
A1 -> A3
A2 -> A3
A3 -> A2
A1 -> A4
A2 -> A4
A3 -> A4
B1 C1 D1 - объект может находится как в любом их них, так и в совокупности, так и ни в каком... При этом состояние А - обязательное. Состояния В С D сохраняются при переходе между А.
A1 + B1 -> A2 + B1 -> A2 + B1 + D1 -> A3 + B1 + D1 -> A3 + D1 -> A3 -> A4

Также для B1 C1 D1 существуют свои ограничения переходов. Например если объект также находится в D1 то переход от А2 к А3 - запрещен.

Как это отобразить на диаграмме? Или тут одной диаграммой не обойтись?

Что-то не ложится ничего...
Например проблема: как отобразить сохранение дополнительного состояния при переходе между основными.
Может быть это тогда не состояния, а, например, признаки/флаги.

Если перефразировать:
Есть 8 действий над объектом. 4 состояния объекта. И дополнительно 3 флага у объекта (признаки). Наличие какого-то флага или совокупности флагов может влиять на разрешение выполнения действия, также конкретное состояние также влияет на разрешение действий. Результатом действия является или переход или выставление/снятия флага. А при переходе между состояниями флаги сохраняются.
И вишенка на торте.. на некоторые действия могут влиять связанные другие объекты находящиеся в определенных состояниях с определенным набором флагом.

Я не понимаю какими линиями квадратиками это отобразить на диаграмме и каким образом графически описать правила...
Сами правила мне понятны и они текстом описаны.. Но надо это положить на диаграмму, что посмотрел и стало понятно.

Я тоже думал, что конечный автомат, если бы не одно но. Дополнительные признаки задают правило памяти. в этом состоянии надо помнить откуда пришли, чтобы вернуться туда же. Поэтому считать их состояниями не верно.