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: