coloured Petri nets