Text this: Coloured Petri Nets :