Snoopy — это программный инструмент для проектирования, визуализации и симуляции иерархических графовых моделей, в частности сетей Петри и родственных формализмов. Проект ориентирован на поддержку как статического моделирования структуры систем, так и динамической имитации их поведения; он предоставляет средства для создания многослойных моделей, управления свойствами узлов и дуг, задания параметров переходов и эмпирического анализа динамики. Snoopy применяется в исследованиях и инженерной практике для анализа дискретных, стохастических и гибридных систем, моделирования рабочих потоков, биологических сетей и распределённых процессов.
Инструмент обычно включает графический редактор для конструирования моделей, механизмы для задания уровней иерархии, средства для запуска симуляций с различными семантиками (детерминированной, стохастической и т.д.) и экспорт/импорт моделей в стандартных форматах. Исторически Snoopy развивался в академической среде с целью объединить удобный визуальный интерфейс и гибкие бэкенд‑модули симуляции; в случаях, когда детальная информация о происхождении или лицензионной модели ограничена, описание дополняется общими сведениями о типичных возможностях аналогичных инструментов моделирования.
- Графический редактор для проектирования иерархических графов и сетей Петри с поддержкой именования и аннотирования элементов.
- Поддержка нескольких семантик моделирования: дискретная, стохастическая и гибридная интерпретация переходов и событий.
- Иерархическая организация моделей: создание составных узлов, вложенных представлений и агрегирования подсистем.
- Параметризация элементов модели: возможность задавать скорости, вероятности, временные задержки и другие параметры для проведения сценарного анализа.
- Средства симуляции и анализа: запуск временных трасс, статистический сбор данных, визуализация траекторий и состояний системы.
- Импорт и экспорт моделей в общепринятых форматах для обмена с другими инструментами моделирования и анализа.
- Инструменты для отладки и верификации моделей: проверка корректности топологии, обнаружение конфликтов и неиспользуемых элементов.
- Возможность интеграции с внешними скриптами и пакетами для автоматизации экспериментальных прогонов и постобработки результатов.