➜

The external link www.daimi.au.dk/CPnets for Coloured Petri Nets at the University of Aarhus seems to be broken.

Go to a cached version of that page on archive.org.

Google search results for "Coloured Petri Nets at the University of Aarhus au.dk"