Стиральная машина petri net

Question

Это моя первая работа в сети Петри, и я хочу смоделировать стиральную машину. Я начал, и это выглядит, как это до сих пор:

У вас есть какие-то корректировки или помочь? Я, очевидно, знаю, что это не правильно, но я новичок и не осознаю ошибок, которые вы, ребята, можете увидеть. Заранее спасибо.

Answer 1

Первые комментарии на пути вашей сети, о рабочих:

• нет никакого стрелка назад в off состоянии. Итак, как только вы включите свою стиральную машину, разве вы никогда не сможете ее отключить?
• drain и dry оба ведут обратно к idle. Но когда в режиме ожидания есть токен, он либо переходит в деликатный, либо в T1. Условия («программа», выбранная оператором) не исчезают, поэтому они будут срабатывать снова и снова.

Учитывая последнее, я предлагаю, чтобы в конце программы не было свободного места, чтобы избежать этой езды на велосипеде. Если вам нужно пройти несколько раз через одно и то же состояние, но выполнять разные действия в зависимости от прогресса, вам нужно работать с большим количеством токенов.

Несколько замечаний о форме чистой в:

• вам не нужно положить 1 на каждой дуге. Вы можете сделать это более читаемым, Оставив 1 выход и указав номер на дуге, только если потребуется более одного токена.
• Обычно переходы не выровнены с дугами (хотя ничто не запрещает), а перпендикулярно потоку (здесь горизонтально)
• В принципе, «места» (узлы) представляют состояния или ресурсы, а «переходы "(прямоугольники) представляют событие, которое изменяет состояние (или действие, которое потребляет ресурсы). Ваше соглашение об именах должно лучше отражать это

Answer 2

Видимо, вам не хватает какого-либо условия, чтобы остановить процесс. Теперь, как только вы начнете, ваша стирка продолжится в бесконечном цикле.

Answer 3

Я думаю, было бы неплохо оставить переходную графику незаштрихованной или незаполненной, если она не включена. Лично я заполняю его зеленым, если он включен.

Если вы хотите, чтобы кто-то проверил, правильно ли вы правильно моделировали логику в вашей сети Петри, было бы неплохо, если бы вы включили описание вашей системной логики в прозу.