Skip to main content
SpringerLink
Log in

Towards Probabilistic Model Checking on P Systems Using PRISM

  • Conference paper
Membrane Computing (WMC 2006)

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

Included in the following conference series:

Abstract

This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.

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

References

  1. Alur, R., Henzinger, T.A.: Reactive Modules. Formal Methods in System Design 15, 7–48 (1999)

    Article  Google Scholar 

  2. Andrei, O., Ciobanu, G., Lucanu, D.: Executable Specifications of P Systems. In: Mauri, G., Păun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 126–145. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  3. Bernardini, F., Manca, V.: P Systems with Boundary Rules. In: Păun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) WMC 2002. LNCS, vol. 2597, pp. 107–118. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  4. Bernardini, F., Gheorghe, M.: Population P Systems. J. UCS 10(5), 509–539 (2004)

    MathSciNet  Google Scholar 

  5. Bianco, L., Fontana, F., Manca, V.: P Systems with Reaction Maps. International Journal of Foundations of Computer Science 17(1), 27–48 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  6. Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R.: Analysis of Signalling Pathways using Continuous Time Markov Chains. Transactions on Computational Systems Biology (to appear)

    Google Scholar 

  7. Dang, Z., Ibarra, O.H.: On One-Membrane P systems Operating in Sequential Mode. Int. J. Found. Comput. Sci. 16(5), 867–881 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  8. Fontana, F., Bianco, L., Manca, V.: P Systems and the Modeling of Biochemical Oscillations. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 199–208. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  9. Gillespie, D.T.: A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions. J. Comput Physics 22, 403–434 (1976)

    Article  MathSciNet  Google Scholar 

  10. Gillespie, D.T.: Exact Stochastic Simulation of Coupled Chemical Reactions. The Journal of Physical Chemistry 81(25), 2340–2361 (1977)

    Article  Google Scholar 

  11. Goss, P.J.E., Peccoud, J.: Quantitative modeling of stochastic systems in molecular biology using stochastic Petri nets. Proc. Natl. Acad. Sci. USA 95, 6750–6755 (1998)

    Article  Google Scholar 

  12. Krasnogor, N., Gheorghe, M., Terrazas, G., Diggle, S., Williams, P., Camara, M.: An appealling Computational Mechanism Drawn from Bacterial Quorum Sensing. Bulletin of the EATCS 85, 135–148 (2005)

    MATH  MathSciNet  Google Scholar 

  13. Lecca, P., Corrado, P.: Cell Cycle Control in Eukaryotes: A BioSpi Model. Electronic Notes in Theoretical Computer Science (to appear)

    Google Scholar 

  14. Novak, B., Csikasz-Nagy, A., Gyorffy, B., Nasmyth, K., Tyson, J.J.: Model Scenarios for Evolution of the Eukaryotic Cell Cycle. Phil. Trans. R. Soc. Lond. 353, 2063–2076 (1998)

    Article  Google Scholar 

  15. Păun, G.: Computing with Membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  16. Pérez-Jiménez, M.J., Romero-Campero, F.J.: Modelling Gene Expression Control Using P Systems: The Lac Operon, A Case Study (submitted)

    Google Scholar 

  17. Pérez-Jiménez, M.J., Romero-Campero, F.J.: P Systems, a New Computational Modelling Tool for Systems Biology. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol. 4220, pp. 176–197. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  18. Pérez-Jiménez, M.J., Romero-Campero, F.J.: A Model of the Quorum Sensing System in Vibrio Fischeri Using P Systems (submitted)

    Google Scholar 

  19. Pescini, D., Besozzi, D., Mauri, G., Zandron, C.: Dynamical Probabilistic P Systems. International Journal of Foundations of Computer Science 17(1), 183–195 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  20. Regev, A., Shapiro, E.: The π-Calculus as an Abstraction for Biomolecular Systems. In: Ciobanu, G., Rozenberg, G. (eds.) Modelling in Molecular Biology. Springer, Berlin (2004)

    Google Scholar 

  21. Terrazas, G., Krasnogor, N., Gheorghe, M., Bernardini, F., Diggle, S., Cámara, M.: An Environment Aware P-System Model of Quorum Sensing. In: Cooper, S.B., Löwe, B., Torenvliet, L. (eds.) CiE 2005. LNCS, vol. 3526, pp. 479–485. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  22. PRISM Web Site: http://www.cs.bham.ac.uk/~dxp/prism/

  23. The P Systems Web Site: http://psystems.disco.unimib.it

  24. SciLab Web Site: http://scilabsoft.inria.fr/

  25. P System Simulator: http://www.dcs.shef.ac.uk/~marian/PSimulatorWeb/PSystemMF.htm

Download references

Author information

Authors and Affiliations

  1. Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Seville, Avda. Reina Mercedes, 41012, Sevilla, Spain

    Francisco J. Romero-Campero & Mario J. Pérez-Jiménez

  2. Department of Computer Science, The University of Sheffield, Regent Court, Portobello Street, Sheffield, S1 4DP, UK

    Marian Gheorghe

  3. Department of Computer Science, University of Verona, Strada Le Grazie 15, 37134, Verona, Italy

    Luca Bianco

  4. Dipartimento di Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano-Bicocca, Via Bicocca degli Arcimboldi 8, 20126, Milano, Italy

    Dario Pescini

  5. Faculty of Mathematics and Computer Science, University of Bucharest, Academiei 14, 70109, Bucharest, Romania

    Rodica Ceterchi

Authors
  1. Francisco J. Romero-Campero
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marian Gheorghe
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Luca Bianco
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Dario Pescini
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Mario J. Pérez-Jiménez
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Rodica Ceterchi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Leiden Institute of Advanced Computer Science, Universiteit Leiden, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Hendrik Jan Hoogeboom

  2. Institute of Mathematics of the Romanian Academy, PO Box 1-764, 014700, Bucureşti, Romania

    Gheorghe Păun

  3. Leiden Center of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

  4. Turku Centre for Computer Science (TUCS), Leminkäisenkatu 14, 20520, Turku, Finland

    Arto Salomaa

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Romero-Campero, F.J., Gheorghe, M., Bianco, L., Pescini, D., Pérez-Jiménez, M.J., Ceterchi, R. (2006). Towards Probabilistic Model Checking on P Systems Using PRISM. In: Hoogeboom, H.J., Păun, G., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. WMC 2006. Lecture Notes in Computer Science, vol 4361. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11963516_30

Download citation

  • DOI: https://doi.org/10.1007/11963516_30

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-69088-7

  • Online ISBN: 978-3-540-69090-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation