Определите, является ли сообщение действительным
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
