Если это событие выходит за пределы модели, пишем "Вывод" или применяем простую икону Вывод без полки.

После отказа автономного генератора запускать его повторно нельзя. Неизвестно в каком состоянии он остался при отказе.

И ещё: эта двойная стрелка убивает читаемость на корню.
Мне требуются немалые усилия, чтобы понять, что имеется в виду.
Это против Духа ДРАКОНа.

Мне кажется, что в каждой ветке имеются вложенные циклы со стрелкой.
Внутренний цикл со стрелкой аккуратно вложен во внешний цикл со стрелкой.
Разве не так?

Степан, как, по вашему мнению, надо исправить?

Степан, как, по вашему мнению, надо исправить?

1. Нет отправки сообщения "Нет сети 220в".
2. Видимо, имеется путаница. Как автоматы у нас взаимодействуют?
Есть два варианта:
- через отправку сообщений
- через запись значений в разделяемые переменные
Сергей, какого подхода вы придерживаетесь? Это не ясно из диаграмм.

Теперь по представленным Дракон схемам. Тут есть такие неявные соглашения:

1. Одна ветка - это одно состояние автомата.
2. Переход на другую ветку происходит при следующем вызове автомата.
3. Переход в самое начало ветки так-же происходит при следующем вызове автомата.

Именно 2 и 3 пункты не позволяют выносить в начало ветки сброс таймера.
Тут может быть только такое действие, которое нужно выполнять при каждом вызове автомата.

Для взаимодействия автоматов есть "служба сообщений". Сообщения очень простые, в них нет ни адреса отправителя, ни адреса получателя, ни параметров. По сути - это битовые флаги. Для работы с сообщениями есть 3 функции:

send_mess( enum mess );
bool get_mess( enum mess );
void process_mess(void);

1. Одна ветка - это одно состояние автомата.
2. Переход на другую ветку происходит при следующем вызове автомата.
3. Переход в самое начало ветки так-же происходит при следующем вызове автомата.

Теперь я понял, спасибо. Было бы хорошо, если бы вы поместили это описание в книге.

Насколько я могу судить, это очень эффективная реализация службы сообщений.

Вопрос по циклу со стрелкой в начале ветки.
Как вы избегаете того, что функция автомата уходит в вечный цикл?
Разве первый попавшийся автомат не будет крутиться в своей функции вечно, пока события нет?

Очевидно, ветку после запуска таймера нужно не наверх вести, а просто дальше -- к развилке "A > 5мин".
Да, если есть сеть мы сбросим таймер и тут же проверим "а прошло ли 5 минут", но зато обратная стрелка будет одна.

Убрал одну обратную стрелку:

Что мы выиграли, убрав одну обратную стрелку?

а не напомнит ктонить, почему в ДРАКОНе нельзя "шинировать" переходы идущие в одну точку? как в электронных схемах скажем

Нарисуйте, что имеете в виду.

слева две стрелки, справа шина как на советских электронных схемах

слева две стрелки, справа шина как на советских электронных схемах