Practical Modelling with Bigraphs

Bigraphs are a versatile modelling formalism that allows easy expression of placement and connectivity relations in a graphical format. System evolution is user defined as a set of rewrite rules. This article presents a practical, yet detailed guide to developing, executing, and reasoning about bigr...

Full description

Saved in:
Bibliographic Details
Published inFormal aspects of computing Vol. 37; no. 3; pp. 1 - 36
Main Authors Archibald, Blair, Calder, Muffy, Sevegnani, Michele
Format Journal Article
LanguageEnglish
Published New York, NY ACM 30.09.2025
Subjects
Computing methodologies
Graph algorithms
Mathematics of computing
Modeling and simulation
Models of computation
Theory of computation
rewrite systems
graph rewriting
Bigraphs
Online AccessGet full text
ISSN0934-5043
1433-299X
DOI10.1145/3721142

Cover

More Information
Summary:Bigraphs are a versatile modelling formalism that allows easy expression of placement and connectivity relations in a graphical format. System evolution is user defined as a set of rewrite rules. This article presents a practical, yet detailed guide to developing, executing, and reasoning about bigraph models, including recent extensions such as parameterised, instantaneous, prioritised and conditional rules, and probabilistic and stochastic rewriting.
ISSN:0934-5043
1433-299X
DOI:10.1145/3721142