Проект был разработан с целью предоставить возможность студентам технических специальностей строить, изучать и эмулировать работу черно-белых сетей Петри.
Возможности сайта: - Генерация отображения сети Петри на базе заданных параметров (количества позиций, переходов, матриц FP, FT, FI) - Поддержка ингибиторных сетей Петри - Построение дерева разметок на произвольную глубину (без существенных проблем с производительностью до 16 уровня, использован алгоритм обхода графа в ширину) - Построение словаря свободного языка - Построение полного покрывающего дерева - База знаний по сетям Петри - Нахождение Инвариантов сети Петри (с помощью модификации метода Гаусса) - Эмуляция работы сети
Будущие доработки: - Хранение сетей Петри, созданных пользователем, с возможностью их загружать в рабочую область - Импорт и экспорт сохраненных сетей Петри - Улучшение производительности построения дерева разметок - Дополнение базы знаний - Визуальный редактор сети Петри (возможность добавлять вершины и дуги, задавать разметку) - Разработка специального режима визуального редактора для эмуляции работы сети - Реализация нескольких предустановленных конфигураций для отображения сети Петри. Сейчас используется «Алгоритм двойного фронта» (авторское название). - Определение достижимости разметки на заданной глубине просмотра - Определение покрываемости разметки с помощью полного покрывающего дерева - Построение графа достижимости для сети Петри
Инструкция по созданию сети Петри на сайте: https://petri-nets.ru/#/knowledge-base/create-petri-net