Pure bigraphs: Structure and dynamics

Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigraphical reactive system (Brs) in which bigraphs can reconfigure themselves. Following an earlier pa- Mentioning the place of this paper in a series per describing link graphs, a constituent of bigraphs, this paper is a devoted to pure bigraphs, which in turn underlie various more refined forms. Elsewhere it is shown that behavioural analysis for Petri nets, -calculus and mobile ambients can all be recovered in the uniform framework of bigraphs. The paper begins by developing the dynamic theory of an abstract structure, a wide reactive system (Wrs), of which a Brs is an instance. In this context, labelled transitions are defined in such a way that the induced bisimilarity is a congruence. This work is then specialised to Brss, whose graphical structure allows many refinements of the dynamic theory. The latter p...

• Type: Journal
• Year: 2006
• Where: IANDC
• Authors: Robin Milner
• Keywords: Abstract Bigraphs, Dynamic Theory, IANDC 2006, Paper