Иконка программы TINA

TINA: создание и редактирование сетей Петри

Программа TINA создана для помощи экспертам в создании базовых или сложных сетей Петри. Она также может быть использована в качестве редактора для существующих документов и предлагает несколько возможностей преобразования.

Инструмент построен на модульной архитектуре с несколькими вспомогательными компонентами, которые могут быть использованы для улучшения результатов. Программа поддерживает работу с различными типами файлов и позволяет добавлять пользовательские заметки.

Пользователи могут применять различные модули для тестирования своих проектов и обеспечения отсутствия ошибок. После завершения работы пользователи могут экспортировать результаты в форматы PNML, TPN или TIM или распечатать их.

TINA — это подходящий инструмент для тех, кто регулярно работает с сетями Петри и подобными математическими схемами переходов.

Скачать с официальной страницы TINA

Похожие программы

Автор статьи: Аркадий Кузнецов

Фото автора

Категория Наука/CAD
Версия 3.7.5
Разработчик Bernard Berthomieu, François Vernadat ...
Размер 22.8 MB
Лицензия Freeware
ОС
  • Windows All