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. […]
Calculate state space
This tool calculates the state space of a CPN: After successfully applying the Enter state space tool to a net, apply the Calculate state space 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 […]
Calculate SCC graph
This tool calculates a strongly connected components (SCC) graph: After successfully applying the Enter state space and Calculate state space tool to a net, apply the Calculate SCC graph 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 […]
Save state space report
Generates and saves a state space report. After successfully applying the Enter state space tool, the Calculate state space tool, and optionally the Calculate SCC graph tool (home, live transition instances, and fairness properties can be calculated only if the SCC graph has been calculated) to a net, apply the tool to a sheet containing a page from the same net. A standard file dialog […]
Display state space
Display a specified node in the state space: The number in the tool cell indicates the number of the node to be displayed. After successfully applying the Enter state space and Calculate state space tools to a net, apply the tool to a sheet containing a page from the same net. The node will be displayed on the page. If the node was already active […]
Display predecessors
Display predecessors of a node in the state space: After successfully applying the Enter state space and Calculate state space tools to a net, apply the tool to an active state space node. The predecessor nodes to the target node will be displayed, and incoming arcs from the predecessor nodes to the target node will be displayed. If any of the predecessor nodes or incoming […]
Display successors
Display successors for a node in the state space: After successfully applying the Enter state space and Calculate state space tools to a net, apply the tool to an active state space node. The successor nodes to the target node will be displayed, and outgoing arcs from the target node to its successors will be displayed. If any of the successor nodes or outgoing arcs […]
Display partial state space
Display a list of nodes or arcs from the state space: After successfully applying the Enter state space and Calculate state space tools to a net, apply the tool to a CPN ML expression that evaluates to a list of nodes or a list of arcs. If the list evaluates to a list of arcs all nodes that are not already on the page and […]
State space to simulator
Transfers a state from the state space tool to the simulator. The small number indicates the number of the state to be transferred to the simulator. After successfully applying the Enter state space and Calculate state space tools to a net, apply the tool to a sheet containing a page from the same net. A status bubble appears, indicating whether the switch succeeded or failed. […]
Simulator to state space
Transfers a state from the simulator to the state space tool. After successfully applying the Enter state space and Calculate state space tools to a net, apply the tool to a sheet containing a page from the same net. A status bubble appears, indicating whether the transfer succeeded or failed. For more information about status bubbles, see Graphical Feedback. Position the mouse cursor on top […]
