Change Attributes and Options in State Space Tool | CPN Tools help |
How-to |
To change the textual format of place and transition names, see "Setting string representation options" below.
To set a string representation option, create an auxiliary text containing the appropriate string-representation functions described in the manual (manual.pdf), and evaluate the function using Evaluate ML tool.
Below is an example of how to change the string representation of place instances in the state space tool. Evaluating the top auxiliary text shows the default string representation for the place "Think" on the first (1) instance of the page named "Page" in the example CP-net for the Dining Philosophers. Evaluating the middle auxiliary text will change the string representation function for place instances. Evaluating the bottom auxiliary text shows the new string representation for the place "Think".
The branching options allow you to specify that, under certain circumstances, the state space tool need not calculate all the successors of a node. The node is then said to be only partially processed.
The stop and branching options are changed by changing the options for the Calculate state space tool.
For more information about stop and branching options, please see the state space tool manual.