Probabilistic Guarded P Systems, A Formal Definition

In this paper, we extend the general framework of Multienvironment P systems, which is a formal framework for modelling the dynamics of population biology. The extension is made by a new variant within the probabilistic approach, called Probabilistic Guarded P systems (in short, PGP systems).We provide a formal de nition, a simulation algorithm to capture the dynamics, and a survey of the associated software.