Coloured Petri Nets by