Containment in Rule-Based Models

Recently, there has been substantial interest in using rule-based modelling approaches, such as the Kappa modelling language, to attack the combinatorial intractability of many biochemical systems. These approaches have allowed several novel static analyses to be developed, which motivates broadening their expressivity. In this paper, we build upon prior work giving Kappa an SPO-rewriting semantics to add containment structure, to model the various ways in which biological mixtures are partitioned and enclosed by membranes.