Before you can calculate a state space, you must enter the state space tool.

If the state space is expected to be small, you can simply apply theCalculate state space

Calculate state spaceCalculate state space tool to a sheet containing a page from the net.

If the state space is expected to be large, you may need to change the options for the Calculate state space tool.

If calculation was successful, a green status bubble will appear in the index. Position the mouse cursor on top of the status bubble to see generation statistics.

Calculate State Space Bubble

Calculate State Space Bubble

If some of the stop or branching criteria are fulfilled, then a yellow status bubble will appear in the index.

Stop criteria fulfilled

Stop criteria fulfilled

If calculation failed, a red status bubble will appear in the index. Position the mouse cursor on top of the status bubble to see the error message.

Calculating the SCC graph

After successfully entering the state space tool and calculating the state space, apply the

Calculate SCC graph

Calculate SCC graph

Calculate SCC graph tool to a sheet containing a page from the net.

If the calculation was successful, a green status bubble will appear in the index. If the calculation failed, a red status bubble will appear in the index. Position the mouse cursor on top of the status bubble to see the error message.

Related pages

Verification, attributes and options in state space tool, state space tools

Editing a CPN
Attributes and options in state space tool

You must be logged in to post a comment.