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