Enters the state space tool after generating net-specific code.
Make sure that the net does not have any syntactical errors. Syntactical errors are identified during Syntax checking.
Make sure all places, transitions, and pages in the net have unique, non-empty ML names. For more information about ML names see the Naming policy. Places and transitions with non-unique ML names will be identified during Syntax checking.
Apply the tool to a sheet containing a page from the net.
A status bubble appears, indicating whether the operation succeeded or failed. For more information about status bubbles, see Graphical feedback. Also if there was any active SS-Elements e.g. SS-nodes or SS-arcs these will die!
Position the mouse cursor on top of the status bubble to see, e.g., an error message, if the operation failed.