Определите, допустимо ли сообщение
isvalid( проверки, если вход или локальное сообщение допустимы. Сообщение допустимо, если график удалил его из очереди и не передал или отбросил его.message_name)
Когда A состояния активно, получите, передают M. Если сообщение имеет значение данных, равное 3, отбросьте сообщение. Затем когда B состояния активно, проверяйте что сообщение M все еще допустимо. Если сообщение допустимо и имеет значение данных, равное 6, отбросьте сообщение.
