How to Use the Design/CPN Examples

Readers with limited knowledge of Coloured Petri Nets are encouraged to start with the introductory examples. They introduce the basic concepts of CP-nets along with the explanation of the example diagrams. The introductory examples should be read in the order in which they appear.

For each example we provide the following items (of which some may be missing):

  • Abstract. This provides general information about the example system and the CPN model. It also contains pointers to the person(s) who developed and maintains the example. The abstract is a HTML file. Hence it can be used by anyone who has a WWW browser (which you obviously have).
  • Explanation. This provides a more detailed description of the example system and the CPN model. It usually contains a copy of all pages in the CPN model. The explanation is a PDF file. To use the file you need to install the Adobe Acrobat Reader.
  • Unix Files. This contains the files that are necessary to load the CPN model into Design/CPN on the Unix platform. The files are packed with the UNIX compress utility or GNU Zip (the ML file is not included).
  • Mac Files. This contains the files that are necessary to load the CPN model into Design/CPN on the Macintosh platform. The files are packed as a bin hexed self extracting archive (the ML file is not included).
When you want to edit and/or simulate a CPN model you need to use the Unix Files or the Mac Files (and Design/CPN itself). This is also the case if you want to construct an occurrence graph and analyse it. When you only want to take a quick look at the (static) CPN model it is much faster to use the Adobe Acrobat Reader and the explanation file.

We strongly encourage Design/CPN users to contribute to the Design/CPN WWW pages by publishing their own CPN models so that they can be shared with other users. Before you do this, please, read the CPN Model Publication Instructions.

Unix Users at University of Aarhus (DAIMI)

Please access the UNIX files directly from the path: 
  /users/kursus/ddist/eksempler/
Last modified: Fri Apr 19 16:31:06 1996 -- Design/CPN Online admin