Я использую UPPAAL 4.1.19, и я следую обучающему обучению, указанному в this . В шаблоне Train я помещаю параметры int[0,N] e, const int id, а в системном объявлении я объявляю Train1=Train(el, 1);, и система возвращает мне ошибку «Несовместимый аргумент» для e1. Я не понимаю, почему это на самом деле несовместимо? Я объявил N как константу, равную 5 в глобальных объявлениях, а также el, но все же это, похоже, не работает. Есть идеи?