What is it about?

We give an approach to modelling probabilistic systems, for example virus spread in a network, membrane budding in biology, or sensor systems, that is based on a novel diagrammatic notation known as Bigraphs. By using models, not too unlike what you might draw on a whiteboard, you get all the power of formal methods (probablistic model checking) without needing to learn complex syntax. System dynamics are given as simple update rules that replace one diagram with another. This paper is both a practical introducing to this style of probablistic modelling, while also detailing the theory required to recreate this work.

Featured Image

Read the Original

This page is a summary of: Probabilistic Bigraphs, Formal Aspects of Computing, June 2022, ACM (Association for Computing Machinery),
DOI: 10.1145/3545180.
You can read the full text:



The following have contributed to this page