Practical Modelling with Bigraphs
Logic in Computer Science
2024-06-03 v1 Symbolic Computation
Software Engineering
Abstract
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.
Cite
@article{arxiv.2405.20745,
title = {Practical Modelling with Bigraphs},
author = {Blair Archibald and Muffy Calder and Michele Sevegnani},
journal= {arXiv preprint arXiv:2405.20745},
year = {2024}
}
Comments
34 pages