Bigraphs are a universal computational modelling formalism for the spatial and temporal evolution of a system in which entities can be added and removed. We extend bigraphs to probablistic bigraphs, and then again to action bigraphs, which include non-determinism and rewards. The extensions are implemented in the BigraphER toolkit and illustrated through examples of virus spread in computer networks and data harvesting in wireless sensor systems. BigraphER also supports the existing stochastic bigraphs extension of Krivine et al., and using BigraphER we give, for the first time, a direct implementation of the membrane budding model used to motivate stochastic bigraphs.

中文翻译：

---

概率传记

Bigraphs是一种通用的计算建模形式，用于系统的时空演化，可以在其中添加和删除实体。我们将专着扩展到概率专着，然后再扩展到行动专着，其中包括不确定性和奖励。这些扩展是在BigraphER工具包中实现的，并通过在计算机网络中传播的病毒和在无线传感器系统中收集数据的示例进行了说明。BigraphER还支持Krivine等人现有的随机二联图扩展，使用BigraphER，我们首次直接实现了用于激发随机二联图的膜芽模型。