Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Membrane Computing (CMC 2016)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10105))

Included in the following conference series:

  • 415 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Albers, P.C., de Vries, H.: Elo-rating as a tool in the sequential estimation of dominance strengths. Anim. Behav. 61(2), 489–495 (2001)

    Article  Google Scholar 

  2. Martínez-del-Amor, M.A., et al.: DCBA: simulating population dynamics P systems with proportional object distribution. In: Csuhaj-Varjú, E., Gheorghe, M., Rozenberg, G., Salomaa, A., Vaszil, G. (eds.) CMC 2012. LNCS, vol. 7762, pp. 257–276. Springer, Heidelberg (2013). doi:10.1007/978-3-642-36751-9_18

    Chapter  Google Scholar 

  3. Barbuti, R., Levi, F., Milazzo, P., Scatena, G.: Maximally parallel probabilistic semantics for multiset rewriting. Fundamenta Informaticae 112(1), 1–17 (2011)

    MathSciNet  MATH  Google Scholar 

  4. Barbuti, R., Bompadre, A., Bove, P., Milazzo, P., Pardini, G.: Attributed probabilistic P systems and their application to the modelling of social interactions in primates. In: Bianculli, D., Calinescu, R., Rumpe, B. (eds.) SEFM 2015. LNCS, vol. 9509, pp. 176–191. Springer, Heidelberg (2015). doi:10.1007/978-3-662-49224-6_15

    Chapter  Google Scholar 

  5. Barbuti, R., Bove, P., Schettini, A.M., Milazzo, P., Pardini, G.: A computational formal model of the invasiveness of eastern species in european water frog populations. In: Counsell, S., Núñez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 329–344. Springer, Cham (2014). doi:10.1007/978-3-319-05032-4_24

    Chapter  Google Scholar 

  6. Barbuti, R., Bove, P., Milazzo, P., Pardini, G.: Minimal probabilistic P systems for modelling ecological systems. Theor. Comput. Sci. 608, 36–56 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  7. Barbuti, R., Caravagna, G., Maggiolo–Schettini, A., Milazzo, P., Pardini, G.: The calculus of looping sequences. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 387–423. Springer, Heidelberg (2008). doi:10.1007/978-3-540-68894-5_11

    Chapter  Google Scholar 

  8. Barbuti, R., Cataudella, S., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: A probabilistic model for molecular systems. Fundamenta Informaticae 67(1), 13–27 (2005)

    MathSciNet  MATH  Google Scholar 

  9. Barbuti, R., Cerone, A., Maggiolo-Schettini, A., Milazzo, P., Setiawan, S.: Modelling population dynamics using grid systems. In: Cerone, A., Persico, D., Fernandes, S., Garcia-Perez, A., Katsaros, P., Shaikh, S.A., Stamelos, I. (eds.) SEFM 2012. LNCS, vol. 7991, pp. 172–189. Springer, Heidelberg (2014). doi:10.1007/978-3-642-54338-8_14

    Google Scholar 

  10. Barbuti, R., Gori, R., Levi, F., Milazzo, P.: Investigating dynamic causalities in reaction systems. Theor. Comput. Sci. 623, 114–145 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  11. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tini, S.: A P systems flat form preserving step-by-step behaviour. Fundamenta Informaticae 87(1), 1–34 (2008)

    MathSciNet  MATH  Google Scholar 

  12. Besozzi, D., Cazzaniga, P., Pescini, D., Mauri, G.: Modelling metapopulations with stochastic membrane systems. Biosystems 91(3), 499–514 (2008)

    Article  Google Scholar 

  13. Bodei, C., Gori, R., Levi, F.: Causal static analysis for brane calculi. Theor. Comput. Sci. 587, 73–103 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  14. Bove, P.: Development of extensions of P systems for modelling and simulation of population dynamics. Ph.D. thesis, University of Pisa, October 2016

    Google Scholar 

  15. Bove, P., Milazzo, P., Barbuti, R.: The role of deleterious mutations in the stability of hybridogenetic water frog complexes. BMC Evol. Biol. 14(1), 1 (2014)

    Article  Google Scholar 

  16. Cardona, M., Colomer, M.A., Margalida, A., Palau, A., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Sanuy, D.: A computational modelingfor real ecosystems based on P systems. Nat. Comput. 10(1), 39–53 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  17. Cavigelli, S.A., Pereira, M.E.: Mating season aggression and fecal testosterone levels in male ring-tailed lemurs (Lemur catta). Horm. Behav. 37(3), 246–255 (2000)

    Article  Google Scholar 

  18. Cerone, A., Scotti, M.: Research challenges in modelling ecosystems. In: Canal, C., Idani, A. (eds.) SEFM 2014. LNCS, vol. 8938, pp. 276–293. Springer, Cham (2015). doi:10.1007/978-3-319-15201-1_18

    Google Scholar 

  19. Ciobanu, G., Cornacel, L.: Probabilistic transitions for P systems. Prog. Nat. Sci. 17(4), 432–441 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  20. Nieto Coria, C.A., Tesei, L., Scarcella, G., Russo, T., Merelli, E.: Sea-scale agent-based simulator of Solea solea in the adriatic sea. In: Canal, C., Idani, A. (eds.) SEFM 2014. LNCS, vol. 8938, pp. 259–275. Springer, Cham (2015). doi:10.1007/978-3-319-15201-1_17

    Google Scholar 

  21. Gori, R., Levi, F.: Abstract interpretation based verification of temporal properties for bioambients. Inform. Comput. 208(8), 869–921 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  22. Grimm, V.: Ten years of individual-based modelling in ecology: what have we learned and what could we learn in the future? Ecol. Model. 115(2), 129–148 (1999)

    Article  Google Scholar 

  23. Grimm, V., Berger, U., Bastiansen, F., Eliassen, S., Ginot, V., Giske, J., Goss-Custard, J., Grand, T., Heinz, S.K., Huse, G., et al.: A standard protocol for describing individual-based and agent-based models. Ecol. Model. 198(1), 115–126 (2006)

    Article  Google Scholar 

  24. Hellriegel, B., Reyer, H.U.: Factors influencing the composition of mixed populations of a hemiclonal hybrid and its sexual host. J. Evol. Biol. 13(6), 906–918 (2000)

    Article  Google Scholar 

  25. Kahramanoğulları, O., Lynch, J.F., Priami, C.: Algorithmic systems ecology: experiments on multiple interaction types and patches. In: Cerone, A., Persico, D., Fernandes, S., Garcia-Perez, A., Katsaros, P., Shaikh, S.A., Stamelos, I. (eds.) SEFM 2012. LNCS, vol. 7991, pp. 154–171. Springer, Heidelberg (2014). doi:10.1007/978-3-642-54338-8_13

    Google Scholar 

  26. Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585–591. Springer, Heidelberg (2011). doi:10.1007/978-3-642-22110-1_47

    Chapter  Google Scholar 

  27. Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: an overview. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Roşu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 122–135. Springer, Heidelberg (2010). doi:10.1007/978-3-642-16612-9_11

    Chapter  Google Scholar 

  28. Murray, J.D.: Mathematical Biology I: An Introduction. Interdisciplinary Applied Mathematics, vol. 17. Springer, New York (2002)

    MATH  Google Scholar 

  29. Nakamichi, M., Koyama, N.: Social relationships among ring-tailed lemurs (Lemur catta) in two free-ranging troops at berenty reserve, madagascar. Int. J. Primatol. 18(1), 73–93 (1997)

    Article  Google Scholar 

  30. Palagi, E., Paoli, T., Tarli, S.B.: Aggression and reconciliation in two captive groups of Lemur catta. Int. J. Primatol. 26(2), 279–294 (2005)

    Article  Google Scholar 

  31. Penna, P., Paoletti, N., Scarcella, G., Tesei, L., Marini, M., Merelli, E.: DISPAS: an agent-based tool for the management of fishing effort. In: Counsell, S., Núñez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 362–367. Springer, Cham (2014). doi:10.1007/978-3-319-05032-4_26

    Chapter  Google Scholar 

  32. Pescini, D., Besozzi, D., Mauri, G., Zandron, C.: Dynamical probabilistic P systems. Int. J. Found. Comput. Sci. 17(1), 183–204 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  33. Philippou, A., Toro, M., Antonaki, M.: Simulation and verification in a process calculus for spatially-explicit ecological models. Sci. Ann. Comput. Sci. 23(1), 119–167 (2013)

    MathSciNet  Google Scholar 

  34. Setiawan, S., Cerone, A.: Stochastic modelling of seasonal migration using rewriting systems with spatiality. In: Counsell, S., Núñez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 313–328. Springer, Cham (2014). doi:10.1007/978-3-319-05032-4_23

    Chapter  Google Scholar 

  35. Som, C., Anholt, B.R., Reyer, H.U.: The effect of assortative mating on the coexistence of a hybridogenetic waterfrog and its sexual host. Am. Nat. 156(1), 34–46 (2000)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa, Largo B. Pontecorvo 3, 56127, Pisa, Italy

    Roberto Barbuti, Pasquale Bove, Paolo Milazzo & Giovanni Pardini

Authors
  1. Roberto Barbuti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pasquale Bove
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Paolo Milazzo
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Giovanni Pardini
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Paolo Milazzo .

Editor information

Editors and Affiliations

  1. University of Milano-Bicocca , Milan, Italy

    Alberto Leporati

  2. Leiden University , Leiden, The Netherlands

    Grzegorz Rozenberg

  3. Turku Center for Computer Science , Turku, Finland

    Arto Salomaa

  4. University of Milan-Bicocca , Milan, Italy

    Claudio Zandron

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Barbuti, R., Bove, P., Milazzo, P., Pardini, G. (2017). Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems. In: Leporati, A., Rozenberg, G., Salomaa, A., Zandron, C. (eds) Membrane Computing. CMC 2016. Lecture Notes in Computer Science(), vol 10105. Springer, Cham. https://doi.org/10.1007/978-3-319-54072-6_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-54072-6_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-54071-9

  • Online ISBN: 978-3-319-54072-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation