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.
Enter state space
Calculate state space
Calculate SCC graph
Save state space report
Display state space
Display predecessors
Display successors
Display partial state space
State space to simulator
Simulator to state space
You must be logged in to post a comment.