Tag: Coloured Combined Petri Nets