Calculate state space
|
CPN Tools help
|
|
Tools
|
Calculate State Space
Calculate state space:
- After successfully applying the enter state space tool to a net, apply the tool to a sheet containing a page from the same net.
- A status bubble appears, indicating whether the calculation succeeded or failed. For more information about status bubbles, see Graphical Feedback.
- Position the mouse cursor on top of the status bubble to see, e.g., generation statistics or an error message.
This tool is accessible through:
palettes available : State space tools
Options
The options for the Calculate state space tool allow you to determine when the calculation of a state space stops. To change the options, open the "CalcSS" index entry, which is under the "Statespace" index entry, which in turn is under the "Tool box" index entry.
To edit integer options, click on them in the index to activate text edit, and change them to the desired values.
To edit predicates, either drag them to the workspace and edit them in a text sheet or edit the text in the appropriate index entry.
For more information about Stop and Branching options, please see the
state space tool manual.