Bind manually

Bind manually

Bind manually

Binds a transition manually. Applying the tool has different effects depending on where it is applied:

• An enabled transition: Gets the possible bindings for that transition.
• An enabled transition where the possible bindings has been bound: Fires the transition choosing a random binding between the ones that are left.
• A binding index where a value has been chosen for all variables: Fires the transition with that binding.
• A fired binding index: If the transition is still enabled, the tool gets the possible bindings for the transition. Otherwise the binding index is closed.

This tool is available through:

• Simulation tools
• Binding index marking menus
• Transition marking menus