• State ID - required, a unique identifier assigned to the state in the model
• Description - a freetext description
• Sub Model - sub-model attached to the state
• Color - background color
• Text Color - state label color
• Activate Type - condition when state is activated. Concurrent Model only.
  • Traversal Count - count of incoming transition traversals has reached the threshold
  • Transition Count - count of transitions traversed has reached the threshold
  • By Variable - user variable $VAR._ACTIVATE_'stateid' is set to true
  • Sum of trans weights - sum of the weights from the incoming transition traversals has reached the threshold
• Threshold - threshold value for Activate Type
• Firing Trans - what outgoing transitions to be triggered when the state is activated.
  • Random - randomly select one from all outgoing transitions, if transition has guard, the guard condition must evaluate to true
  • All - all outgoing transitions are triggered
  • By Variable - only trigger the transition named by user variable $VAR._FIRING_'stateid'

Concurrent modeling is used to model concurrent systems or event/message driven systems such as embedded systems. It allows multiple transitions to be executing concurrently and complex logic to determine when a state can be activated (fired) and which of the outgoing transitions can be triggered/executed.

In concurrent models, a state can be activated in several ways:

1. number of incoming transition traversals exceeded the threshold value
2. number of distinct incoming transition exceeded the threshold value - multiple traversals for same transition are counted once
3. total weight of all incoming transition traversals exceeded the threshold value
4. activated by MScript functions

Once the state is activated, transitions are triggered in several ways. Only transitions without guard condition and transitions with guard conditions evaluated to true can participate this operation.

1. all outgoing transitions
2. random selection of one transition from the outgoing transitions
3. the transition with name matching the value of path var _triggerTransName
4. triggered by MScript functions