Practical Modelling with Bigraphs
<|reference_start|>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 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.<|reference_end|>
@article{archibald2024practical,
    title={Practical Modelling with Bigraphs},
    author={Blair Archibald, Muffy Calder, Michele Sevegnani},
    journal={arXiv preprint arXiv:2405.20745},
    year={2024},
    archivePrefix={arXiv},
    eprint={2405.20745},
    primaryClass={cs.LO cs.SC cs.SE}
}