Автоматы - UML

Автомат - представляет систему в виде ориентированного графа, вершины которого соответствуют состояниям, а дуги - переходам .
Например вот изображение автомата (диаграммы состояний) для технического прибора (относительно работоспособности) =

Для автомата (UML) должны выполняться следующие условия:

1. не запоминает историю перемещения из состояния в состояние
2. в каждый момент времени автомат может находиться в одном и только в одном из своих состояний
3. Автомат не должен совершать переходов из одного и того же состояния одновременно в два и более последующих состояния (конфликтующие состояния)
4. Количество состояний автомата должно быть обязательно конечным
5. Граф автомата не должен содержать изолированных состояний и переходов
6. длительность нахождения в состоянии явно не учитывается