What is New in Version 3.0?

• The CPN Editor supports construction, modification and syntax check of CPN models.
• The CPN Simulator supports interactive and automatic simulation of CPN models.
• The Occurrence Graph Tool supports construction and analysis of occurrence graphs for CPN models (also known as state spaces or reachability graphs/trees).

The CPN Editor and the CPN Simulator of Version 3.0 are identical to the corresponding parts of Version 2.0 (the latest version distributed by Meta Software), except for a small number of improvements/bug fixes.

The Occurrence Graph Tool is a totally new component.