Task description

The purpose of this workspace is to manually create a simulation. Finding successors for a state is the last step in this process.

Task context

This workspace can be accessed from the Simulation environment when a state-graph is not yet fully simulated and has some interpreted, terminated or ordered states left. Simulate scenario

Tasks in this workspace

Select state(s) Select the interpreted, terminated or ordered state(s) that need to be successors for.
Press button Press the 'finds successors for selected states' button to find successors for the state(s). Behind the selected state(s) some branches with new states attached will appear in black.

Additional features
Tooltips | Action buttons | Graphical icons
Definitions involved ingredients
Ordering | State | State-graph | Successors | Termination
Related tasks
Other tasks for this ingredient : Full simulation | Terminate states | Order states

Top