Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems

We describe two extensions of P systems for the modelling of populations and ecosystems. They are the Minimal Probabilistic P systems (MPP systems) and the Attributed Probabilistic P systems (APP systems). We describe also two case studies in which the two formalisms have been applied to the study of real ecological systems. The first case study deals with the causes of the stability of European hybrid populations of water frogs. The second case study deals with social interactions and the establishment of dominance hierarchies in primates.

[1]  Paolo Milazzo,et al.  Minimal probabilistic P systems for modelling ecological systems , 2015, Theor. Comput. Sci..

[2]  Birgit Müller,et al.  A standard protocol for describing individual-based and agent-based models , 2006 .

[3]  Paolo Milazzo,et al.  Modelling Population Dynamics Using Grid Systems , 2012, SEFM Satellite Events.

[4]  Antonio Cerone,et al.  Stochastic Modelling of Seasonal Migration Using Rewriting Systems with Spatiality , 2013, SEFM Workshops.

[5]  Mario J. Pérez-Jiménez,et al.  DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution , 2012, Int. Conf. on Membrane Computing.

[6]  V. Grimm.  Ten years of individual-based modelling in ecology: what have we learned and what could we learn in the future? , 1999 .

[7]  Paolo Milazzo,et al.  A P Systems Flat Form Preserving Step-by-step Behaviour , 2008, Fundam. Informaticae.

[8]  Paolo Milazzo,et al.  Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates , 2015, SEFM Workshops.

[9]  Anna Philippou,et al.  Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models , 2013, Sci. Ann. Comput. Sci..

[10]  Paolo Milazzo,et al.  Investigating dynamic causalities in reaction systems , 2016, Theor. Comput. Sci..

[11]  Francesca Levi,et al.  Abstract interpretation based verification of temporal properties for BioAmbients , 2010, Inf. Comput..

[12]  B. Hellriegel,et al.  Factors influencing the composition of mixed populations of a hemiclonal hybrid and its sexual host , 2000 .

[13]  P. Berg,et al.  Modern maize varieties going local in the semi-arid zone in Tanzania , 2014, BMC Evolutionary Biology.

[14]  Emanuela Merelli,et al.  Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea , 2014, SEFM Workshops.

[15]  Paolo Milazzo,et al.  Maximally Parallel Probabilistic Semantics for Multiset Rewriting , 2011, Fundam. Informaticae.

[16]  B. Anholt,et al.  The Effect of Assortative Mating on the Coexistence of a Hybridogenetic Waterfrog and Its Sexual Host , 2000, The American Naturalist.

[17]  Corrado Priami,et al.  Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches , 2012, SEFM Satellite Events.

[18]  Roberto Barbuti,et al.  The role of deleterious mutations in the stability of hybridogenetic water frog complexes , 2014, BMC Evolutionary Biology.

[19]  Paolo Milazzo,et al.  A Probabilistic Model for Molecular Systems , 2005, Fundam. Informaticae.

[20]  M. Nakamichi,et al.  Social Relationships Among Ring-Tailed Lemurs (Lemur catta) in Two Free-Ranging Troops at Berenty Reserve, Madagascar , 1997, International Journal of Primatology.

[21]  E. Palagi,et al.  Aggression and Reconciliation in Two Captive Groups of Lemur catta , 2005, International Journal of Primatology.

[22]  Giancarlo Mauri,et al.  Dynamical probabilistic P systems , 2006, Int. J. Found. Comput. Sci..

[23]  Mario J. Pérez-Jiménez,et al.  A computational modeling for real ecosystems based on P systems , 2011, Natural Computing.

[24]  Giancarlo Mauri,et al.  Modelling metapopulations with stochastic membrane systems , 2008, Biosyst..

[25]  Axel Legay,et al.  Statistical Model Checking: An Overview , 2010, RV.

[26]  Han de Vries,et al.  Elo-rating as a tool in the sequential estimation of dominance strengths , 2001, Animal Behaviour.

[27]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[28]  Roberto Barbuti,et al.  A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations , 2013, SEFM Workshops.

[29]  Antonio Cerone,et al.  Research Challenges in Modelling Ecosystems , 2014, SEFM Workshops.

[30]  Mauro Marini,et al.  DISPAS: An Agent-Based Tool for the Management of Fishing Effort , 2013, SEFM Workshops.

[31]  James D. Murray.  Mathematical Biology: I. An Introduction , 2007 .

[32]  Gabriel Ciobanu,et al.  Probabilistic transitions for P systems , 2007 .

[33]  Michael E. Pereira,et al.  Mating Season Aggression and Fecal Testosterone Levels in Male Ring-Tailed Lemurs (Lemur catta) , 2000, Hormones and Behavior.

[34]  Francesca Levi,et al.  Causal static analysis for Brane Calculi , 2015, Theor. Comput. Sci..

[35]  Paolo Milazzo,et al.  The Calculus of Looping Sequences , 2008, SFM.