Я использую Uppaal для проверки системы. Моделирование работает отлично, но когда я проверяю это свойство A[] not deadlock, оно дает мне следующую ошибку:
_The successors of this state are not well defined.
Index value 3 is out of range. Array length = 3, Element size = 1 in line 1 of go3[id]?_
Что там могло пойти не так?
