Navigation

MAINLY FOR

YOU ARE HERE: Research » Areas » Modelling and Validation of Distributed Systems » Projects

Projects

For further information about Coloured Petri Nets and their computer tools, please visit the CPN web-pages.

Comments on content:

Revised 2011.10.07

Email: kjensen@cs.au.dk
Office: bldg.-5346 237
Phone: +45 8715 6129
Mobile: +45 29905612

Department of Computer Science
Aarhus University
Åbogade 34
DK-8200 Aarhus N
Denmark

Email: cs@cs.au.dk
Tel: +45 8715 4112
Fax: +45 8715 4113

CVR no: 31119103
P no: 1007674542
EAN no: 5798000419841
Budget code: 55245