Known limitations - Linux | CPN Tools help |
Overview of some of the known limitations for the Linux version |
There are a number of known limitations for the Linux version of 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.
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.
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.
Here the Index does not reach the bottom of the window.
The window for CPN Tools cannot be made smaller than the default size of the window when CPN Tools is started.
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 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).
Ctrl
key, as described under Basic Interaction, do not work.