CPN Tools
The projects will use CPN Tools. When you start using CPN tools you can find different information on the HELP pages. They can be accessed via the CPN Tools web-pages or directly from the HELP entrance in the Index of the tool (the white area in the left side of the screen).
It is recommended to read:
Getting started with CPN Tools
which describes the basic interaction features in the tool.
Moreover, you may want to consult:
Getting started with CPN-ML, and
Using CPN ML and Standard ML in CPN Tools
which give a brief introduction to the CPN ML language used for types, variables, arc expressions etc.
If you have technical problems with the tool you can post a message on the general CPN Tools support mailing list: CPNTools-support@daimi.au.dk (please write in English).
Getting the most recent version of CPN Tools
Please use version 2.3.5 of CPN Tools, not the most recent one, which is only for testing very special uses!
Version 2.3.5 of CPN Tools is demonstrated at the lectures. Internal versions of the tool can be downloaded from the usual download page for CPN Tools. By default internal versions are not visible on the download page for license holders. If the internal versions are not visible on the download page, please see the Releases page for information about how to gain access to the internal versions of the tool.
CPN Tools on Linux, Mac or 64 bit versions of Windows
CPN Tools currently only supports 32 bit versions of Windows, so we recommend running CPN Tools in a virtual machine for other operating systems. Please refer to the FAQ on Can I run CPN Tools on my Mac for more information. The guide is written for Mac OS X, but the same procedure also works for Linux and 64 bit versions of Windows.
There is a Linux version of CPN Tools, but it is frankly not very good, and we strongly suggest using the above method for Linux instead. Note that you're completely on your own should you anyway want to run the Linux version of CPN Tools.