ETD

• formalism for biology
• P system
• population dynamic
• stochastic model

This work presents a new computational approach, based on the formalism of P systems,
for modelling and running simulations of animal population dynamics phenomena.
The three formalisms proposed are: MPP systems (Minimal Probabilistic P systems),
APP systems (Attributed Probabilistic P systems) and MAPP systems (Multilevel Attributed
Probabilistic P systems). All of them are formally defined by providing their
syntax notations and formal semantics as inference rules. Case study are provided with examples for all three formalism.