To verify a CPN you can use the state space tools, which are available as a palette.

Help topics for verification

Example nets

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.

Calculating statistics
Long click

You must be logged in to post a comment.