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 active will be displayed as well. If some of the nodes or arcs are on the page and active these will not be inserted again.

This tool is accessible through:

Options

An option for the tool determines whether the value returned by evaluating the CPN ML expression is a list of nodes or a list of arcs. If there is no check in the check box, then it is assumed that the expression will return a list of arcs.

Options for Display partial state space tool

Options for Display partial state space tool

Display successors
State space to simulator

You must be logged in to post a comment.