Abstract / Description of output
In this paper we present a stochastic semantics for Bigraphical Reactive Systems. A reduction and a labelled stochastic semantics for bigraphs are defined. As a sanity check, we prove that the two semantics are consistent with each other. We illustrate the expressiveness of the framework with an example of membrane budding in a biological system.
Keywords / Materials (for Non-textual outputs)
- Directed bigraph
- stochastic semantics
- membrane budding