Known limitations - Linux
Overview of some of the known limitations for the Linux version


Related pages

Known limitations

Limitations for Linux Version

There are a number of known limitations for the Linux version of CPN Tools.

Starting CPN Tools

CPN Tools must be started in one of two ways.

It can be started from the directory in which it is installed. Note that "./" must precede the name of the program (./cpntools).

maude:...CPNTools% ./cpntools

It can also be started using the full path to the program. For example,

maude:~% /usr/share/CPNTools/cpntools

Errors will probably occur if it is started in any other way. For example, an error may occur when you create a new net, or the tool may crash during startup.

Graphics of the Window

The graphics for the window for CPN Tools are not always updated properly. You can often force the graphics to be updated properly by changing the size of the window.

The window should look something like the image below, but without the words "Index" and "Workspace". Note that the white area for the Index on the left-hand side of the window extends from the top of the window to the bottom of the window.

CPN Tools window

The graphics for the window have not been updated properly if the white area for the Index does not extend from the top of the window to the bottom of the window.

Here the Index does not reach the top of the window, and the palettes for the Net tools and Simulation tools are not drawn correctly.

Index does not reach top of window

Here the Index does not reach the bottom of the window.

Index does not reach bottom of window

Resizing Window

The window for CPN Tools cannot be made smaller than the default size of the window when CPN Tools is started.

Converter

There is no Linux version of the converter for converting nets from Design/CPN. If you are unable to convert nets from Design/CPN, please contact the CPN Tools staff via the support mailing list.

Offline help

The offline Help pages are not accessible via the index. The offline version of the main help page can be found in <cpntools-dir>/help/cpntools-help.html where <cpntools-dir> is the directory in which CPN Tools is installed. For more information about the offline Help pages see Help entry in index.

The online version of the main help page can be found at http://wiki.daimi.au.dk/cpntools-help/cpntools-help.wiki

Relative paths to files

Relative paths to files cannot be used when loading declarations from files, or when manipulating files in code segments (such as what is done in the SimpleProtocol_IO variant of the Simple Protocol net).

Keyboard shortcuts

Keyboard shortcuts using the Ctrl key, as described under Basic Interaction, do not work.