Coloured Petri Nets, Vol. 3 | lit.salon