Coloured Petri nets, Vol. 2 | lit.salon