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

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.

Top

 
List of publications
www.daimi.au.dk/CPnets/publ
   CfPC©, updated: 14-nov-05