Enter state space

Enter state space

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. […]

Read Me Leave comment

Calculate state space

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 […]

Read Me Leave comment

Calculate SCC graph

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 […]

Read Me Leave comment

Save state space report

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 […]

Read Me Leave comment

Display state space

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 […]

Read Me Leave comment

Display predecessors

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 […]

Read Me Leave comment

Display successors

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 […]

Read Me Leave comment

Display partial state space

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 […]

Read Me Leave comment

State space to simulator

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. […]

Read Me Leave comment

Simulator to state space

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 […]

Read Me Leave comment