Modelling Probabilistic Systems with Diagrams

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

Photo by Ben Wicks on Unsplash

Photo by Ben Wicks on Unsplash