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 Edit State Invariant dialog opens. Type the condition and close the dialog.
The State Invariant is displayed in square brackets on the State shape: 