Papers and Participation

Deadline for submissions: August 15, 2009
Notification of acceptance: September 15, 2009
Deadline for final papers: October 5, 2009
Deadline for registration: October 1, 2009

Further information:

URL: http://www.cs.au.dk/?id=2772

E-mail: CPNworkshop@cs.au.dk

Tutorials

Coloured Petri Nets. Modelling and Validation of Concurrent Systems

Based on a new CPN book published by Springer Verlag. All participants will receive a copy of the new book

Kurt Jensen, Aarhus University, Denmark
Lars M. Kristensen, Bergen University College, Norway

The ASAP Platform: Next Generation Tool Support for State Space Analysis of CPN Models

Michael Westergaard and Sami Evangelista, Aarhus University, Denmark
Lars M. Kristensen, Bergen University College, Norway

 

Aims and scope

Coloured Petri Nets and CPN Tools are now licensed to more than 8.000 users in 140 different countries. The purpose of this event is to bring together some of the users and in this way provide a forum for those who are interested in the practical use of Coloured Petri Nets and CPN Tools.

The workshop takes place at the Aarhus University, Denmark, and it is open for engineers, researchers and students at all levels. Aarhus is situated at the East coast of Jutland (the main land of Denmark). It is easily accessible by plane, train and car. The workshop will present a number of applications of Coloured Petri Nets and their tools.

Submissions

We hereby solicit submissions for the workshop. There are two kinds of submissions:

  • Full papers (up to 20 pages).
  • Position papers (up to 6 pages).

Full papers are expected to describe a CPN project, a CPN Tools improvement/extension, or other materials relevant for the workshop. Position papers are intended for work in progress, i.e. to sketch new ideas and preliminary results from ongoing projects. Both kinds of papers will appear in the workshop proceedings.

Submissions should be sent to: CPNworkshop@cs.au.dk before August 15, 2009 as a PDF document. Please indicate whether it is a full paper or a position paper.

The workshop proceedings will appear as a technical report of the Department of Computer Science, Aarhus University of Aarhus. It will also be available in electronic form via the CPN web pages at the University. Finally, some of the best papers may be invited for publication in the ToPNoC journal (Transactions on Petri Nets and Other Models of Concurrency).

The submissions will be evaluated by an international programme committee with the following members: