Calculate a State Space and SCC Graph | CPN Tools help |
How-to |
If the state space is expected to be small, you can simply apply the
Calculate 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.
If some of the stop or branching criteria are fulfilled, then a yellow status bubble will appear in the index.![]()
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.
If calculation was successful a green status bubble will appear in the index. 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.