This page has been archived; please check our new web-page to see if an updated version exists, and update your bookmarks and links.

These Web pages present the activities of the CPN group at the Department of Computer Science, University of Aarhus, Denmark.

PROJECTS & TOOLS	PUBLICATIONS	WORKSHOPS & CONFERENCES
Tools CPN Tools, Computer Tool for CP-nets Current CPN Centre, Centre-of-Excellence UML + CPN @ Nokia IPv6: Design and Validation of Protocols State Space Analysis in Operational Planning STATES, State Space Analysis Former MAFIA, User Interfaces for Mobile Phones CPN 2000, New User Interface CAESAR, Control & Communication HP-CPN, Hewlett-Packard Projects AC/DC, Automatic Code Generation Design/CPN, Computer Tool for CP-nets	Short Introduction to CPN (English) (Danish) Introductory Papers on CP-nets Industrial Use of CP-nets CPN Textbooks and Introductory Papers Slide Sets CPN Workshop Papers 2002 · 2001 · 1999 · 1998 STTT Special Section 2001 · 1998 PhD Dissertations from the CPN group Publications from the CPN group	CPN Workshops 2008 · 2007 · 2006 · 2005 · 2004 · 2002 · 2001 · 1999 · 1998 HLPN Workshop 2000 Petri Nets Conferences 2008 · 2007 · 2006 · 2005 · 2004 · 2003 · 2002 · 2001 · 2000
CONTACT INFO	AFFILIATIONS	PETRI NET COMMUNITY
Directors Current Staff Former Staff Master's Thesis Students	CfPC CIT DAIMI AU	Petri Nets World Petri Nets Conference Petri Nets Bibliography

Last modified: Mon Feb 16 13:04:29 2004	http://www.daimi.au.dk/CPnets/