Abstract
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.
Original language | English |
---|---|
Pages (from-to) | 73-96 |
Number of pages | 24 |
Journal | Electronic Notes in Theoretical Computer Science |
Volume | 218 |
DOIs | |
Publication status | Published - Oct 2008 |
Keywords
- Directed bigraph
- stochastic semantics
- membrane budding