Verification

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

• State space tool manual
• Example nets
  • Resource allocation example
  • Distributed database example
  • Dining philosophers example
  • Simple protocol example

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.