Text this: Coloured Petri nets. Vol.3 :