Text this: Coloured Petri nets /