Я впервые делаю сеть Петри и хочу смоделировать стиральную машину. Я начал, и пока это выглядит так:
Есть ли у вас какие-либо исправления или помощь? Я, очевидно, знаю, что это неправильно, но я новичок и не знаю об ошибках, которые вы, ребята, можете увидеть. Заранее спасибо.
Первые комментарии о том, как работает ваша сеть:
off. Итак, однажды включив стиральную машину, вы больше никогда не сможете ее выключить?drain и dry ведут обратно к idle. Но когда у простоя есть токен, он либо переходит в деликатный, либо в T1. Условия («программа», выбранная оператором) никуда не исчезают, поэтому они будут срабатывать снова и снова.Принимая во внимание последний пункт, я бы предложил иметь другой холостой ход в конце программы, чтобы избежать этого цикла. Если вам нужно несколько раз пройти через одно и то же состояние, но выполнять разные действия в зависимости от прогресса, вам придется работать с большим количеством токенов.
Несколько замечаний о форме сети:
Видимо, вам не хватает какого-то условия, чтобы остановить процесс. Теперь, как только вы начнете стирку, она будет продолжаться в бесконечном цикле.
Я думаю, было бы неплохо оставить графику перехода незаштрихованной или незаполненной, если она не включена. Лично я заполняю его зеленым цветом, если он включен.
Если вы хотите, чтобы кто-нибудь проверил, правильно ли вы смоделировали логику в своей сети Петри, было бы хорошо, если бы вы включили описание логики вашей системы в прозе.
