2024/05/31 by Blair Archibald, Archibald, Blair, Muffy Calder +3
Computer Science · #Model-Driven Software Engineering Techniques #Graph Theory and Algorithms
paper · pdf · doi:10.48550/arxiv.2405.20745
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 paper 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.