Use state space tool
How-to


To work with the state space tool, you will need to be familiar with the State space tools which are available as a tool palette.

Help Topics for the State Space Tool

Enter the State Space Tool

Calculate a State Space and SCC Graph

Save a State Space Report

Make State Space Queries

Transfer States (between simulator and state space tool)

Draw State Spaces

Change Attributes and Options in State Space Tool

State Space Functions

State space tool manual

A manual describing how to use the state space tool is also available in PDF format:

Example Nets

The following example nets deal with state space analysis:

Time-consuming Operations

Some operations in the state space tool can be quite time consuming, e.g. entering the state space tool or calculating a state space. During these operations, a light purple status bubble may appear in the index to indicate that a time-consuming operation is being executed.

LightPurpleStatusBubble.jpg

Limitations

Errors can occur if any of the state space tools are applied while portions of a net are being syntax checked. It is highly recommended that you do not apply state space tools while there are any yellow highlights on places, arcs, transitions, pages, or net names.

Highlight during syntax check

If the Replace by subpage tool is applied and the corresponding subpage(s) contains state space nodes and/or state space arcs, then the state space elements on the subpage are deleted.

See more about the Known limitations in the current version of CPN Tools.