/
slavatlsn
/
PetNet
Обзор
Документация
Войти
/
slavatlsn
/
PetNet
Код
Запросы
0
Задачи
Вики
Пакеты
0
Релизы
0
CI/CD
Аналитика
Безопасность
master
src/info.html
91 строка
6 KB
slavatlsn
upload files
20 окт 2025, 22:17
20 окт 2025, 22:17
8c5afb4
Код
Авторство
О чём код?
<!DOCTYPE html> <html lang="ru"> <head> <meta charset="UTF-8"> <meta name="viewport" content="width=device-width, initial-scale=1.0"> <title>Справка — Симулятор сетей Петри</title> <link rel="stylesheet" href="./static/css/style.css"> <link rel="stylesheet" href="./static/css/help.css"> </head> <body> <header> <h2>Справка: Симулятор сетей Петри</h2> <!-- Кнопка для переключения светлой и тёмной темы --> <button class="theme-toggle" id="theme-toggle" title="Переключить тему">☀️</button> </header> <main> <!-- Основное содержимое справки --> <div class="help-content"> <h1>Добро пожаловать в справку по сетям Петри</h1> <p>Этот интерактивный симулятор является частью лабораторных работ по дисциплине «Автоматы» на кафедре №22 «Кибернетика» НИЯУ МИФИ.</p> <h2>Что такое сеть Петри?</h2> <p>Сеть Петри — это математический и графический язык моделирования дискретных распределённых систем. Она используется для анализа параллелизма, асинхронности, синхронизации и потоков ресурсов.</p> <h2>Основные элементы</h2> <ul> <li><strong>📍 Позиция (круг):</strong> Представляет состояние системы или наличие ресурса.</li> <li><strong>🔘 Фишка:</strong> Находится внутри позиции и обозначает текущее состояние или маркировку сети.</li> <li><strong>🔄 Переход (прямоугольник):</strong> Событие, которое может произойти при выполнении условий.</li> <li><strong>🔗 Дуга (линия):</strong> Связывает позицию и переход. Имеет вес (по умолчанию 1).</li> <li><strong>⛔ Ингибиторная дуга (пунктирная):</strong> Разрешает переход только если позиция <em>содержит меньше фишек, чем ее вес</em>.</li> </ul> <h2>Как использовать</h2> <ol> <li>Выберите инструмент на панели слева.</li> <li>Кликните на холсте, чтобы добавить элемент.</li> <li>Для создания дуги: <ul> <li>Выберите инструмент "Дуга".</li> <li>Кликните на начальном элементе (позиция или переход) и удержите.</li> <li>Перетащите к конечному элементу.</li> </ul> </li> </ol> <h2>Редактирование свойств</h2> <p>После выбора элемента на холсте вы можете изменить его свойства в правой панели:</p> <ul> <li>Установите количество фишек в позиции.</li> <li>Задайте задержку (<code>delay</code>) для перехода (в единицах времени).</li> <li>Укажите <code>guard-условие</code> (например, <code>x > 0</code>) для логики перехода.</li> <li>Измените тип дуги на ингибиторную, если нужно проверять отсутствие фишки.</li> </ul> <h2>Симуляция</h2> <ul> <li><strong>⏵ Пуск / ⏸ Пауза:</strong> Активация/остановка режима симуляции.</li> <li><strong>➡ Шаг:</strong> Шаг симуляции.</li> <li><strong>↻ Сброс:</strong> Вернуть сеть в исходное состояние.</li> <li><strong>🔍 Анализ:</strong> Проверка свойств сети (достижимость, живость, ограниченность) — в разработке.</li> </ul> <h2>Сохранение и загрузка</h2> <ul> <li><strong>Сохранить:</strong> Экспортирует текущую сеть в файл <code>.json</code>.</li> <li><strong>Загрузить:</strong> Импортирует сеть из файла.</li> <li><strong>Примеры:</strong> Готовые учебные примеры для практики.</li> </ul> </div> <!-- Кнопка для возврата к основному симулятору --> <div style="text-align: center;"> <a href="index.html" class="back-button">← Вернуться к симулятору</a> </div> </main> <footer> <p>Учебный центр НИЯУ МИФИ программы <em>«Искусственный интеллект и моделирование когнитивных процессов»</em></p> <p>Кафедра №22 «Кибернетика» | Москва, 2025 г. | <a href="https://study.aia.expert/" target="_blank">study.aia.expert</a> </p> </footer> <script src="./static/js/help.js"></script> </body> </html>