Deciding Behavioural Properties in Brane Calculi.