A Global Occurrence Counting Analysis for Brane Calculi

摘要

We propose a polynomial static analysis for Brane Calculi, based on Abstract Interpretation techniques. The analysis provides a description of the possible hierarchical structure of membranes and of the processes possibly associated to each membrane, together with global occurrence counting information. Our analysis can be applied in the biological setting to investigate systems in which the information on the number of membranes occurring in the system plays a crucial role.