#modeling #petri-net
#моделирование #petri-net
Вопрос:
В настоящее время я создаю контроллер, который должен принимать сеть Петри и, основываясь на входных событиях, которые он получает от другого устройства, должен запускать выходные события на то же устройство.
Вопрос в том, как сеть Петри будет выводить события на внешнее устройство?
- Должно ли оно запускать событие, когда место получает токен?
- Должно ли оно запускать событие при активации перехода?
- …
Ответ №1:
Ответы на эти вопросы зависят от технологии и / или приложения.
Например, рассмотрим приложение, в котором положение робота на полу контролируется мышью. На экране компьютера отображается этаж, а указатель обозначает положение робота. В приложении будут использоваться события ввода мыши вниз, перемещения мыши и мыши вверх. Когда происходит нажатие мыши, роботу отправляется событие инициализации (вывода). Когда происходит событие перемещения мыши, роботу отправляется событие перемещения (вывода). Когда происходит событие наведения курсора мыши, роботу отправляется событие паузы (вывода).
Рисунок 1 (из PDF-версии) представляет собой символическую игру с логикой управления в сочетании с симуляцией робота и пола. Для этого моделирования экран компьютера представлен переходом T2. Нажатие мыши при переходе T0 обозначает нажатие мыши в приложении, щелчок мыши при переходе T2 обозначает нажатие мыши в приложении. Перемещение мыши при переходе T2 запускает событие перемещения робота в моделировании. Робот (красная точка) немедленно перемещается на новую позицию.
Для события нажатия мыши при переходе T0 не имеет значения, срабатывает ли событие вывода при включении перехода или при срабатывании вывода перехода. Это связано с тем, что, когда передача включена, ожидается, что она в конечном итоге сработает в течение короткого периода времени. Для события перемещения мыши при переходе T2 событие перемещения робота должно срабатывать при включении перехода, поскольку переход T2 не должен срабатывать до тех пор, пока не произойдет событие наведения курсора мыши.
Динамическая и интерактивная схема доступна в формате PDF: «Как запускать сеть Петри для выходных событий» HTML с JavaScrtip SVG также доступен в качестве вложения в PDF-документе.