Bigraphs are a universal computational modelling formalism for the spatial and temporal evolution of system in which entities can be added removed. We extend bigraphs to probabilistic bigraphs, then again action include non-determinism rewards. The extensions implemented BigraphER toolkit illustrated through examples virus spread computer networks data harvesting wireless sensor systems. also s...
