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