coloured Petri Net