Methodologies & formalisms for modeling macroscopic biological problems

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 defi ned by providing their syntax notations and formal semantics as inference rules. Case study are provided with examples for all three formalism.