A coloured petri net formalisation for a UML-based notation applied to cooperative system modelling el 30 de Noviembre del 2018