ステート A がアクティブな場合、メッセージ M を受け取ります。3 に等しいデータ値がメッセージに含まれている場合は、そのメッセージを廃棄します。続いて、ステート B がアクティブな場合、メッセージ M が引き続き有効であることをチェックします。メッセージが有効で、データ値が 6 に等しい場合は、メッセージを廃棄します。
ステート A では次のように指定します。
during:
if receive(M) == true
if M.data == 3
discard(M);
endend
ステート B では次のように指定します。
during:
if isvalid(M) == true
if M.data == 6
discard(M);
endend
You can also select a web site from the following list:
How to Get Best Site Performance
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.