To define a State condition
- Double-click the State to open the State Specification window and in the State Invariant property value cell, type a condition and press Enter.
- Near the State Invariant property value cell, click the ... button. The dialog opens. Type the condition and close the dialog.