Я создал какой-то автомат в инструменте проверки моделей UPPAAL, и между ними есть диалог. когда в одном из них возникает ошибка, необходимо сбросить другой.
я не могу поставить возвратное ребро для всех узлов, чтобы перейти на начальный узел, потому что я не могу поставить охрану для всех возможных ошибок.
есть ли способ сбросить автомат с помощью функции или что-то вроде этого?
мы можем перейти к разным узлам, не проходя ребер? я имею в виду переход от узла к начальному узлу напрямую и без использования ребер.
спасибо!