Передайте сообщение
forward( передает допустимый вход или локальное сообщение локальной очереди или выходному порту. После того, как график передает сообщение, он может удалить другое сообщение из очереди в том же временном шаге.message_in_name,message_out_name)
Проверяйте входную очередь на сообщение M_in. Если сообщение присутствует, удалите сообщение из очереди и передайте его выходному порту M_out.
on M_in:
forward(M_in,M_out);
Проверяйте локальную очередь для сообщения M_local. Если сообщение присутствует, переход от A состояния утверждать B. Удалите сообщение из M_local очередь сообщений и вперед это к выходному порту M_out.
M_local{forward(M_local,M_out)}