TAPAAL

TAPAAL - это образовательный программный инструмент для моделирования, моделирования и проверки сетей Timed-Arc Petri. Он предназначен для пользователей, которым необходимо представлять системы с временным поведением в формальной модели. Программное обеспечение было разработано на кафедре компьютерных наук в Ольборгском университете в Дании.

Функции моделирования позволяют описать сети Петри в структурированной форме. Моделирование помогает изучить, как модель ведет себя с течением времени. Проверка используется для оценки формальных свойств модели. Вместе эти возможности делают TAPAAL актуальным для образования, включающего формальное моделирование и анализ.

TAPAAL указан для Linux и доступен по бесплатной лицензии. Пользователи Linux могут использовать его без платной лицензии на программное обеспечение. Категория размещения - Образование, потому что программа фокусируется на обучении и работе с формальным методом моделирования информатики.

MirrorNest не имеет зеркальной копии TAPAAL. Вместо этого он напрямую связан с официальным релизом. Эта схема дает пользователям Linux запись в каталоге, которая указывает на исходный дистрибутив, сохраняя при этом платформу программного обеспечения и информацию о лицензировании.