Known limitations
Overview of some of the known limitations of the CPN Tools


Limitations

This page provides an overview of some of the major limitations in the current version of CPN Tools.

The limitations described on this page are in both the Windows and Linux versions of CPN Tools. There are a number of additional limitations for the Linux version. Please see the help page for Known limitations - Linux.

See also the much more detailed list of Known bugs and limitations (online).

Simulation and State Space Analysis

Errors During Syntax Checking

Errors can occur if any of the simulation tools or state space tools are applied while portions of a net are being syntax checked. It is highly recommended that you do not apply any of these tools while there are any yellow highlights on places, arcs, transitions, pages, or net names.

Highlight during syntax check

Hierarchical nets

Fusion sets

It is currently not allowed to add a port place or a socket place to a fusion set.

Errors During Syntax Check

Errors can occur if any of the hierarchy tools are applied while portions of a net are being syntax checked. It is highly recommended that you do not apply any of these tools while there are any yellow highlights on places, arcs, transitions, pages, or net names.

Errors During Construction of Hierarchical Nets

Providing simultaneous support for both incremental syntax checking and construction of hierarchical nets is quite complicated.

In some situations, errors will occur when constructing hierarchical nets. Many of these errors will result in "Internal Errors", and the error messages may be difficult to understand.

Errors when creating hierarchical nets

If you encounter error messages regarding "Internal Errors", it is highly recommended that you try to fix any obvious errors, such as unassigned ports or missing colour set inscriptions on ports or sockets, then save the net, and then reload the net. This will cause most Internal Errors to disappear. If the Internal Errors do not disappear, please submit a Bug report an remember to include the net with the error.

Mismatch errors can occur when changing colour set or initial marking inscriptions for fusion places. These errors should disappear if you save, close, and then reload the net.

Mismatch error for fusion places