Most modern computing systems are distributed, and a current trend is that
they become more and more pervasive.
A common property of these systems is that they are extremely complex to design,
debug, and maintain. One way to cope with this challenge is to test and further
develop the different design proposals by creating a number of models/prototypes
which can be manipulated and executed in a computer. In this way it becomes possible
to investigate how the system design works before the implementation starts. The
result is an improved understanding of key design issues, fewer design errors,
faster implementation, better documentation, and easier maintenance.
Coloured Petri Nets (CP-nets or CPNs) provide a framework for the construction
and analysis of concurrent and distributed systems. CP-nets have a wide range
areas and many CPN projetcs have been carried out in the industry
The work within the CPN centre focuses on three main areas:
The CPN centre is based on the expertise of the CPN
group at University of Aarhus. The work is organised as a number of projects
in which CP-nets and other formal methods are used for modelling and analysis
of systems. A typical project runs for 6-12 months and cooperates with an ongoing
development project at one of the industrial partners. A project could, e.g.,
be the design and validation of the communication and synchronisation in a new
system, or it could be performance analysis and capacity planning of a system.
The choice of projects is based on the needs of the participating companies.
Partners: Nokia Research Center, Microsoft Research Limited, Ericsson Telebit,
Hewlett-Packard, and George Mason University.