ある状態がアクティブであることをガード条件とする

マトラブのステートフローではin()という関数があって、in(A)は、状態Aがアクティブであれば1、そうでなければ0の値を返します。この関数があると、他の状態遷移図は、状態Aがアクティブであることをガード条件にすることが出来ます。この関数は非常に有用なのですが、これに相当する機能はありますか。