Skip to main content

Probabilistic Guarded P Systems, A New Formal Modelling Framework

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

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

Included in the following conference series:

Abstract

Multienvironment P systems constitute a general, formal framework for modelling the dynamics of population biology, which consists of two main approaches: stochastic and probabilistic. The framework has been successfully used to model biologic systems at both micro (e.g. bacteria colony) and macro (e.g. real ecosystems) levels, respectively.

In this paper, we extend the general framework in order to include a new case study related to P. Oleracea species. The extension is made by a new variant within the probabilistic approach, called Probabilistic Guarded P systems (in short, PGP systems). We provide a formal definition, a simulation algorithm to capture the dynamics, and a survey of the associated software.

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

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Blakes, J., Twycross, J., Romero-Campero, F.J., Krasnogor, N.: The Infobiotics Workbench: an integrated in silico modelling platform for Systems and Synthetic Biology. Bioinformatics 27(23), 3323–3324 (2011)

    Article  Google Scholar 

  2. Colomer, M.A., García-Quismondo, M., Macías-Ramos, L.F., Martínez-del-Amor, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos-Núñez, A., Valencia-Cabrera, L.: Membrane system-based models for specifying Dynamical Population systems. In: Applications of Membrane Computing in Systems and Synthetic Biology. Emergence, Complexity and Computation series, Chap. 4, vol. 7, pp. 97–132. Springer (2014)

    Google Scholar 

  3. 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. Natural Computing 10(1), 39–53 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  4. Cheruku, S., Păun, A., Romero-Campero, F.J., Pérez-Jiménez, M.J., Ibarra, O.H.: Simulating FAS-induced apoptosis by using P systems. Progress in Natural Science 17(4), 424–431 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  5. Colomer, M.A., et al.: Modeling population growth of Pyrenean Chamois (Rupicapra p. pyrenaica) by using P-systems. In: Gheorghe, M., Hinze, T., Păun, Gh., Rozenberg, G., Salomaa, A. (eds.) CMC 2010. LNCS, vol. 6501, pp. 144–159. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  6. Colomer, M.A., Margalida, A., Sanuy, D., Pérez-Jiménez, M.J.: A bio-inspired computing model as a new tool for modeling ecosystems: The avian scavengers as a case study. Ecological Modelling 222(1), 33–47 (2011)

    Article  Google Scholar 

  7. Colomer, M.A., Martínez-del-Amor, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos-Núñez, A.: A uniform framework for modeling based on P Systems. In: Proceedings IEEE Fifth International Conference on Bio-inpired Computing: Theories and Applications (BIC-TA 2010), vol. 1, pp. 616–621 (2010)

    Google Scholar 

  8. Chew, F.S.: Coexistence and local extinction in two pierid butterflies. The American Naturalist 118(5), 655–672 (1981)

    Article  Google Scholar 

  9. Davis, C.S.: The computer generation of multinomial random variates. Computational Statistics and Data Analysis 16(2), 205–217 (1993)

    Article  MATH  Google Scholar 

  10. Frisco, P., Gheorghe, M., Pérez-Jiménez, M.J. (eds.): Applications of Membrane Computing in Systems and Synthetic Biology. Springer (2014)

    Google Scholar 

  11. García-Quismondo, M., Gutiérrez-Escudero, R., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos-Núñez, A.: An overview of P-Lingua 2.0. In: Păun, Gh., Pérez-Jiménez, M.J., Riscos-Núñez, A., Rozenberg, G., Salomaa, A. (eds.) WMC 2009. LNCS, vol. 5957, pp. 264–288. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  12. Gheorghe, M., Ipate, F., Dragomir, C., Mierla, L., Valencia-Cabrera, L., García-Quismondo, M., Pérez-Jiménez, M.J.: Kernel P systems - Version I. In: Proceedings of the Eleventh Brainstorming Week on Membrane Computing (BWMC 2013), pp. 97–124 (2013)

    Google Scholar 

  13. Keeler, M.S., Chew, F.S.: Escaping an evolutionary trap: preference and performance of a native insect on an exotic invasive host. Oecologia 156(3), 559–568 (2008)

    Article  Google Scholar 

  14. Keeler, M.S., Chew, F.S., Goodale, B.C., Reed, J.M.: Modelling the impacts of two exotic invasive species on a native butterfly: top-down vs. bottom-up effects. Journal of Animal Ecology 75(3), 777–788 (2006)

    Article  Google Scholar 

  15. Martínez-del-Amor, M.A., Pérez-Hurtado, I., Gastalver-Rubio, A., Elster, A.C., Pérez-Jiménez, M.J.: Population Dynamics P systems on CUDA. In: Gilbert, D., Heiner, M. (eds.) CMSB 2012. LNCS (LNBI), vol. 7605, pp. 247–266. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  16. 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, Gy. (eds.) CMC 2012. LNCS, vol. 7762, pp. 257–276. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  17. Martínez-del-Amor, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos-Núñez, A., Sancho-Caparrini, F.: A simulation algorithm for multienvironment probabilistic P systems: A formal verification. International Journal of Foundations of Computer Science 22(1), 107–118 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  18. Păun, A., Popa, B.: P systems with proteins on membranes. Fundamenta Informaticae 72(4), 467–483 (2006)

    MATH  MathSciNet  Google Scholar 

  19. Păun, Gh.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000). and TUCS Report No. 208 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  20. Păun, Gh., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press (2010)

    Google Scholar 

  21. Pérez-Hurtado, I., Valencia-Cabrera, L., Pérez-Jiménez, M.J., Colomer, M.A., Riscos-Núñez, A.: MeCoSim: A general purpose software tool for simulating biological phenomena by means of P Systems. In: Proceedings IEEE Fifth International Conference on Bio-inpired Computing: Theories and Applications (BIC-TA 2010), vol. I, pp. 637–643 (2010)

    Google Scholar 

  22. Pérez-Jímenez, M.J., Romero-Campero, F.J.: P systems, A new computational modelling tool for Systems Biology. In: Priami, C., Plotkin, G. (eds.) Trans. on Comput. Syst. Biol. VI. LNCS (LNBI), vol. 4220, pp. 176–197. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  23. Pan, L., Pérez-Jiménez, M.J.: Computational complexity of tissue-like P systems. Journal of Complexity 26(3), 296–315 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  24. Romero-Campero, F.J., Pérez-Jiménez, M.J.: A model of the Quorum Sensing system in Vibrio fischeri using P systems. Artificial Life 14(1), 95–109 (2008)

    Article  Google Scholar 

  25. Romero-Campero, F.J., Pérez-Jiménez, M.J.: Modelling gene expression control using P systems: The Lac Operon, a case study. BioSystems 91(3), 438–457 (2008)

    Article  Google Scholar 

  26. COLT library. http://acs.lbl.gov/software/colt/index.html

  27. RAND function in C++/C Standard General Utilities Library (cstdlib). http://www.cplusplus.com/reference/cstdlib/rand

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Miguel A. Martínez-del-Amor .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

García-Quismondo, M., Martínez-del-Amor, M.A., Pérez-Jiménez, M.J. (2014). Probabilistic Guarded P Systems, A New Formal Modelling Framework. In: Gheorghe, M., Rozenberg, G., Salomaa, A., Sosík, P., Zandron, C. (eds) Membrane Computing. CMC 2014. Lecture Notes in Computer Science(), vol 8961. Springer, Cham. https://doi.org/10.1007/978-3-319-14370-5_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-14370-5_12

  • Published:

  • Publisher Name: Springer, Cham

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

  • Online ISBN: 978-3-319-14370-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics