  In this paper, we present a model based on relations for bigraphical reactive
systems [Milner09]. Its defining characteristics are that validity and reaction
relations are captured as traces in a multi-set rewriting system. The
relational model is derived from Milner's graphical definition and directly
amenable to implementation.
