Single step
Fires a single transition. Applying the tool has different effects depending on where it is applied:
- Workspace: Fires a single random transition in a random net.
- A Binder: Fires a random transition on a page in the binder.
- A page in a binder: Fires a single random transition on that page.
- A page name in the index: Fires a single random transition on that page.
- An enabled transition: Fires that transition.
- An enabled transition where manual binding has been started: Fires the transition choosing a random binding between the ones that are left.
- A subpage tag: Fires a random transition on a page in the subpage tree.
This tool is available through:
palettes available : Simulation tools and
Marking menu tools : Page Name marking menu, Transition marking menu, and Binding index marking menu