A static analysis for Brane Calculi providing global occurrence counting information