Overview of Design/CPN

Note: This paper is available as a PDF file (Portable Document Format). To read the paper you have to install the free Acrobat Reader software. We also propose that you read our Acrobat Reader hints page.

Abstract

This 30-page paper provides an overview of the Design/CPN tool by describing some of the most important facilities. The paper is divided in three chapters which cover the CPN editor (including the syntax check), the CPN simulator and the Occurrence Graph tool, respectively.

The contents of the paper is similar to Chap. 6 of the following book. However, it is shortened and modified to match the newest version of Design/CPN.

K. Jensen: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, 1992. ISBN: 3-540-60943-1.

The paper assumes some prior knowledge of Coloured Petri Nets. If you do not have such knowledge, we propose that you first study some of the Introductory Examples provided via the Design/CPN WWW pages. It is also recommended to read the introductory chapters of the book mentioned above (in particular Sects. 1.1-1.7, 3.1-3.2, 6.1-6.3 and 7.1-7.5). Before reading the Occurrence Graph chapter it may be a help to look at the Occurrence Graph Examples provided via the Design/CPN WWW pages and Chap. 1 of:

K. Jensen: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 2, Analysis Methods. Monographs in Theoretical Computer Science, Springer-Verlag, 1994. ISBN: 3-540-58276-2.

Overview of Design/CPN (99 kb)

Last modified: Tue Sep 25 08:14:51 2001 -- Design/CPN Online admin