A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling | Publicación