| | | | | |
Обозначение
Описание| Блок предназначен для реализации перехода в сети Петри. |
Версия 25.03 и выше - настройка блокаПосле выбора элемента в верхней панели появится кнопка настройки (шестеренка).
В появившемся окне необходимо настроить режим работы перехода и задать задержку
при срабатывании перехода.
Суммарная задержка в переходе - сумма
постоянной задержки (в единицах времени),
случайной задержки (случайное число от 0 до x единиц времени)
и задержки, сформированной по распределению Пуассона
(лямбда - интенсивность возникновения случайных событий).
Максимальная задержка - верхняя граница суммарной задержки.
Начальная задержка - разовая задержка в начале моделирования (в единицах времени).
Имеется 3 режима работы перехода сети Петри:
1. Периодически спустя заданное время (суммарная задержка) осуществляется проверка
наличия входных маркеров во входных связях.
Если число маркеров достаточно, то переход срабатывает, иначе переход не срабатывает.
Следующая проверка осуществляется только после окончания новой задержки.
Пример: проверка каждые 5 единиц времени наличия достаточного числа входных элементов.
2. После окончания суммарной задержки осуществляется ожидание входных маркеров во входных связях.
После того, как переход сработает, осуществляется новая задержка с последующим ожиданием.
Пример: пауза (задержка) в течение нескольких единиц времени перед началом выполнения обязательных действий.
3. Непрерывное ожидание входных маркеров. Как только количество маркеров будет достаточно
для срабатывания перехода, то переход условно срабатывает - входные маркеры извлекаются, а выходные маркеры
формируются только после окончания суммарной задержки.
Пример: выполнение работы определенной продолжительности (задержка)
при наличии достаточного числа входных элементов. |
Версия до 25.03 - настройка паузы в строке инициализацииЩелчок левой кнопкой мыши по элементу выбирает элемент.
Необходимо заполнить в поле инициализации значение паузы и, при необходимости, через пробел
текущее внутреннее значение.
 |
Пример сети Петри
| |
| |
