Я хочу научиться использовать UPPAAL, но когда я его открываю, он говорит «Соединение с сервером потеряно» и позволяет мне работать в рабочей области, но я не могу запустить симулятор и показывает ту же ошибку.
Я работаю32-битная версия x64 Windows 10 с JDK8. Поскольку я не работал с этим раньше, я понятия не имею, как это исправить или что попробовать. Здесь есть и другие вопросы, но они предназначены для Ubuntu и до сих пор не отвечают. Пожалуйста, помогите, мне нужно это для моей домашней работы