In this work we present the model of “mobile object net systems” – an algebraic formalisation of the “nets within nets”-paradigm, which is well suited to express the dynamics of open, mobile systems, since it allows tokens to be active. The algebraic theory of “nets within nets” covers an integrated view of the two major topics concurrency and locality, which are central in the area of mobile c...