Определите, допустимо ли сообщение
isvalid( проверки, если вход или локальное сообщение допустимы. Сообщение допустимо, если график удалил его из очереди и не передал или отбросил его.message_name)
Когда A состояния активно, получите, передают M. Если сообщение имеет значение данных, равное 3, отбросьте сообщение. Затем когда B состояния активно, проверяйте что сообщение M все еще допустимо. Если сообщение допустимо и имеет значение данных, равное 6, отбросьте сообщение.
В A состояния:
during: if receive(M) == true if M.data == 3 discard(M); end end
В B состояния:
during: if isvalid(M) == true if M.data == 6 discard(M); end end
