Coloured Petri Nets | lit.salon