A coloured petri net formalisation for a UML-based notation applied to cooperative system modelling