A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling. Interactive Systems-Design, Specification and Verification. Revised papers … el 31 de Diciembre del 2002