Text this: Coloured Petri nets :