Coloured Petri Nets, Vol. 1 | lit.salon