This is an old revision of the document!


State Properties

  • 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'