Weighted Branching Systems : Behavioural Equivalence , Metric Structure , and their Characterisations Mathias Claus Jensen ?