Добро пожаловать в справку по сетям Петри

Этот интерактивный симулятор является частью лабораторных работ по дисциплине «Автоматы» на ПИ ИИ НИЯУ МИФИ.

Что такое сеть Петри?

Сеть Петри — это математический и графический язык моделирования дискретных распределённых систем. Она используется для анализа параллелизма, асинхронности, синхронизации и потоков ресурсов.

Основные элементы

• 📍 Позиция (круг): Представляет состояние системы или наличие ресурса.
• 🔘 Фишка: Находится внутри позиции и обозначает текущее состояние или маркировку сети.
• 🔄 Переход (прямоугольник): Событие, которое может произойти при выполнении условий.
• 🔗 Дуга (линия): Связывает позицию и переход. Имеет вес (по умолчанию 1).
• ⛔ Ингибиторная дуга (пунктирная): Разрешает переход только если позиция содержит меньше фишек, чем ее вес.

Как использовать

1. Выберите инструмент на панели слева.
2. Кликните на холсте, чтобы добавить элемент.
3. Для создания дуги:
   • Выберите инструмент "Дуга".
   • Кликните на начальном элементе (позиция или переход) и удержите.
   • Перетащите к конечному элементу.

Редактирование свойств

После выбора элемента на холсте вы можете изменить его свойства в правой панели:

• Установите количество фишек в позиции.
• Задайте задержку (delay) для перехода (в единицах времени).
• Укажите guard-условие (например, x > 0) для логики перехода.
• Измените тип дуги на ингибиторную, если нужно проверять отсутствие фишки.

Симуляция

• ⏵ Пуск / ⏸ Пауза: Активация/остановка режима симуляции.
• ➡ Шаг: Шаг симуляции.
• ↻ Сброс: Вернуть сеть в исходное состояние.
• 🔍 Анализ: Проверка свойств сети (достижимость, живость, ограниченность) — в разработке.

Сохранение и загрузка

• Сохранить: Экспортирует текущую сеть в файл .json.
• Загрузить: Импортирует сеть из файла.
• Примеры: Готовые учебные примеры для практики.