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

Help topics for verification

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.