State space tools
Palettes available


The State Space Tools:

State space tools

The state space tools are used, e.g., to calculate state spaces, to transfer states between the simulator and the state space tool, and to generate state space reports.

Click on a cell below to get help on a specific tool.

Enter state spaceCalculate state spaceCalculate SCC graphSave state space report
Display State Space NodeDisplay successorsDisplay predecessorsDisplay partial state space
SS to SimSim to SSemptytoolcelllr.jpgemptytoolcelllr.jpg