:: Site map:: Intranet
:: Research Areas:: Projects :: About CfPC:: News & Events:: Publications
  Modelling and Validation of Distributed Systems  

Click here to see the complete CfPC list of publications.

The work of the group has been presented in a 3-volume textbook and in approximately 100 papers presented at different high-quality conferences and journals.

It is recommended to start with some of the introductory papers
or by taking a look at the industrial applications of Coloured Petri Nets.

The CPN group has developed two sets of computer tools supporting the use of CP-nets:

  • Design/CPN was developed in the late 80'ies and early 90'ies. Today it is used by 750 different organisations in 50 different countries, including 200 commercial enterprises.
  • CPN Tools is the next generation of tool support for Coloured Petri Nets. The first Beta-version was released in October 2001. Within a couple of years CPN Tools is expected to replace Design/CPN.


List of publications
   CfPC©, updated: 14-nov-05