Coloured Petri Nets (1996)