Skip to main content
SpringerLink
Log in
Book cover

SEFM 2015 Collocated Workshops

SEFM 2015: Software Engineering and Formal Methods pp 176–191Cite as

Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 9509))

Abstract

We propose a variant of probabilistic P Systems, Attributed Probabilistic P systems (APP systems), in which objects are annotated with attributes. We use APP systems for modelling social behaviours of some species of primates. In this context attributes can represent position of the animals in the environment, age of the animal, dominance level, aggressiveness, etc. As in standard P systems, the dynamics of the system is described by multiset rewrite rules that are applied in a maximally parallel way. Probabilities of rule application, in a maximal step, are computed according to weight functions associated to rules. As an application, we develop models to compare despotic and egalitarian behaviours on different species of primates.

This is a preview of subscription content, 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

Learn about 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. 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, Heidelberg (2014)

    Chapter  Google Scholar 

  3. 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., Ahmed Shaikh, S., Stamelos, I. (eds.) SEFM 2012 Satellite Events. LNCS, vol. 7991, pp. 172–189. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

  4. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Pardini, G.: Spatial calculus of looping sequences. Theor. Comput. Sci. 412(43), 5976–6001 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  5. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Pardini, G.: Simulation of spatial P system models. Theore. Comput. Sci. 529, 11–45 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  6. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Pardini, G., Tesei, L.: Spatial P systems. Nat. Comput. 10(1), 3–16 (2011)

    Google Scholar 

  7. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tini, S.: An overview on operational semantics in membrane computing. Int. J. Found. Comput. Sci. 22(01), 119–131 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  8. Bortolussi, L., Policriti, A.: Modeling biological systems in stochastic concurrent constraint programming. Constraints 13(1–2), 66–90 (2008)

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  10. 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 

  11. Ciocchetta, F., Hillston, J.: Bio-pepa for epidemiological models. Electron. Notes Theor. Compu. Sci. 261, 43–69 (2010)

    Article  Google Scholar 

  12. 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 Workshops. LNCS, vol. 8938, pp. 259–275. Springer, Heidelberg (2015)

    Google Scholar 

  13. Danos, V., Honorato-Zimmer, R., Jaramillo-Riveri, S., Stucki, S.: Rigid geometric constraints for Kappa models. Electron. Notes Theor. Comput. Sci. 313, 23–46 (2015)

    Article  Google Scholar 

  14. Gautrais, J., Ginelli, F., Fournier, R., Blanco, S., Soria, M., Chaté, H., Theraulaz, G.: Deciphering interactions in moving animal groups. Plos Comput. Biol. 8(9), e1002678 (2012)

    Google Scholar 

  15. 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 

  16. Grimm, V., Berger, U., DeAngelis, D.L., Polhill, J.G., Giske, J., Railsback, S.F.: The odd protocol: a review and first update. Ecol. Model. 221(23), 2760–2768 (2010)

    Article  Google Scholar 

  17. Hemelrijk, C.K.: Spatial centrality of dominants without positional preference. Artif. Life VI 6, 307–315 (1998)

    Google Scholar 

  18. Hemelrijk, C.K.: An individual-orientated model of the emergence of despotic and egalitarian societies. Proc. R. Soc. Lond. B Biol. Sci. 266(1417), 361–369 (1999)

    Article  Google Scholar 

  19. Hemelrijk, C.K., Hildenbrandt, H.: Schools of fish and flocks of birds: their shape and internal structure by self-organization. Interface Focus 2(6), 726–737 (2012)

    Article  Google Scholar 

  20. Hemelrijk, C.K., Puga-Gonzalez, I.: An individual-oriented model on the emergence of support in fights, its reciprocation and exchange. PLoS One 7(5), e37271 (2012)

    Google Scholar 

  21. Hemelrijk, C.: Self-organization and natural selection in the evolution of complex despotic societies. Biol. Bull. 202(3), 283–288 (2002)

    Article  Google Scholar 

  22. John, M., Lhoussaine, C., Niehren, J., Uhrmacher, A.M.: The attributed pi calculus. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol. 5307, pp. 83–102. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  23. Jordán, F., Scotti, M., Priami, C.: Process algebra-based computational tools in ecological modelling. Ecol. Complex. 8(4), 357–363 (2011)

    Article  Google Scholar 

  24. 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., Ahmed Shaikh, S., Stamelos, I. (eds.) SEFM 2012 Satellite Events. LNCS, vol. 7991, pp. 154–171. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

  25. Macal, C.M., North, M.J.: Tutorial on agent-based modelling and simulation. J. Simul. 4(3), 151–162 (2010)

    Article  Google Scholar 

  26. McLane, A.J., Semeniuk, C., McDermid, G.J., Marceau, D.J.: The role of agent-based models in wildlife ecology and management. Ecol. Model. 222(8), 1544–1556 (2011)

    Article  Google Scholar 

  27. 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 

  28. 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 

  29. Păun, G.: Computing with membranes. J. Comput. Syst. Sci. 61(1), 108–143 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  30. Paun, G., Rozenberg, G., Salomaa, A.: The Oxford Handbook of Membrane Computing. Oxford University Press, Inc., New York (2010)

    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, Heidelberg (2014)

    Chapter  Google Scholar 

  32. Philippou, A., Toro, M.: Process ordering in a process calculus for spatially-explicit ecological models. In: Counsell, S., Núñez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 345–361. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

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

    MathSciNet  Google Scholar 

  34. Puga-Gonzalez, I., Hildenbrandt, H., Hemelrijk, C.K.: Emergent patterns of social affiliation in primates, a model. PLoS Comput. Biol. 5(12), e1000630 (2009)

    Google Scholar 

  35. 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, Heidelberg (2014)

    Chapter  Google Scholar 

  36. Toro, M., Philippou, A., Kassara, C., Sfenthourakis, S.: Synchronous parallel composition in a process calculus for ecological models. In: Ciobanu, G., Méry, D. (eds.) ICTAC 2014. LNCS, vol. 8687, pp. 424–441. Springer, Heidelberg (2014)

    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, Alessandro Bompadre, 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. Alessandro Bompadre
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Pasquale Bove
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Paolo Milazzo
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Giovanni Pardini
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Roberto Barbuti .

Editor information

Editors and Affiliations

  1. Interdisciplinary Centre for ICT Se, University of Luxembourg (UL)., Luxembourg

    Domenico Bianculli

  2. University of York, York, United Kingdom

    Radu Calinescu

  3. LS Software Engineering, RWTH Aachen Universität, Aachen, Nordrhein-Westfalen, Germany

    Bernhard Rumpe

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Barbuti, R., Bompadre, A., Bove, P., Milazzo, P., Pardini, G. (2015). Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates. In: Bianculli, D., Calinescu, R., Rumpe, B. (eds) Software Engineering and Formal Methods. SEFM 2015. Lecture Notes in Computer Science(), vol 9509. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-49224-6_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-49224-6_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-49223-9

  • Online ISBN: 978-3-662-49224-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation