Skip to main content
SpringerLink
Log in

Automated Verification of Stochastic Spiking Neural P Systems

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

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

Included in the following conference series:

Abstract

In this paper we consider stochastic spiking neural P systems, a class of distributed parallel neural-like computing models. We translate a restricted variant of the stochastic spiking neural P systems using uniform distribution into a network of timed automata, proving that such a translation preserves faithfully their behaviours. This relationship allows the verification of several kinds of properties (both qualitative and quantitative) using the statistical model checking extension of the complex software tool Uppaal .

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. Alberts, B., Johnson, A., Lewis, J., Morgan, D., Raff, M., Roberts, K., Walter, P.: Molecular Biology of the Cell, 6th edn. Garland Science, New York (2014)

    Google Scholar 

  2. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126, 183–235 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  3. Aman, B., Ciobanu, G.: Describing the immune system using enhanced mobile membranes. Electron. Notes Theor. Comput. Sci. 194, 5–18 (2008)

    Article  Google Scholar 

  4. Aman, B., Ciobanu, G.: Simple, enhanced and mutual mobile membranes. In: Priami, C., Back, R.-J., Petre, I. (eds.) Transactions on Computational Systems Biology XI. LNCS, vol. 5750, pp. 26–44. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  5. Aman, B., Ciobanu, G.: Properties of enhanced mobile membranes via coloured Petri nets. Inf. Process. Lett. 112, 243–248 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  6. Aman, B., Ciobanu, G.: Verification of membrane systems with delays via Petri nets with delays. Theor. Comput. Sci. 598, 87–101 (2015)

    Article  MathSciNet  Google Scholar 

  7. Bengtsson, J., Yi, W.: Timed automata: semantics, algorithms and tools. Lect. Notes Comput. Sci. 3098, 87–124 (2004)

    Article  Google Scholar 

  8. Cavaliere, M., Mura, I.: Experiments on the reliability of stochastic spiking neural P systems. Nat. Comput. 7(4), 453–470 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  9. Cerans, K.: Decidability of bisimulation equivalences for parallel timer processes. Lect. Notes Comput. Sci. 663, 302–315 (1992)

    Article  MathSciNet  Google Scholar 

  10. Ciobanu, G., Păun, Gh., Pérez-Jiménez, M.J. (eds.) Applications of Membrane Computing. Springer, Heidelberg (2006)

    Google Scholar 

  11. Frisco, P., Păun, Gh., Pérez-Jiménez, M.J. (eds.) Applications of Membrane Computing in Systems and Synthetic Biology. Springer, Heidelberg (2014)

    Google Scholar 

  12. Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Inf. Comput. 111, 192–224 (1994)

    Article  MathSciNet  Google Scholar 

  13. Păun, Gh., Rozenberg, G., Salomaa, A. (eds.) Handbook of Membrane Computing. Oxford University Press, New York (2010)

    Google Scholar 

  14. Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, vol. 3. Springer, Heidelberg (1997)

    MATH  Google Scholar 

  15. Xu, Z., Cavaliere, M., An, P., Vrudhula, S., Cao, Y.: The stochastic loss of spikes in spiking neural P systems: design and implementation of reliable arithmetic circuits. Fundamenta Informaticae 134(1–2), 183–200 (2014)

    MathSciNet  Google Scholar 

Download references

Acknowledgements

Many thanks to the reviewers for their useful comments. The work was supported by a grant of the Romanian National Authority for Scientific Research, project number PN-II-ID-PCE-2011-3-0919.

Author information

Authors and Affiliations

  1. Institute of Computer Science, Romanian Academy, Iaşi, Romania

    Bogdan Aman & Gabriel Ciobanu

Authors
  1. Bogdan Aman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gabriel Ciobanu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bogdan Aman .

Editor information

Editors and Affiliations

  1. LIACS, Leiden University, Leiden, Zuid-Holland, The Netherlands

    Grzegorz Rozenberg

  2. Turku Center for Computer Science, Turku, Finland

    Arto Salomaa

  3. Universidad Politécnica de Valencia, Valencia, Spain

    José M. Sempere

  4. University of Milan-Bicocca, Milano, Italy

    Claudio Zandron

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Aman, B., Ciobanu, G. (2015). Automated Verification of Stochastic Spiking Neural P Systems. In: Rozenberg, G., Salomaa, A., Sempere, J., Zandron, C. (eds) Membrane Computing. CMC 2015. Lecture Notes in Computer Science(), vol 9504. Springer, Cham. https://doi.org/10.1007/978-3-319-28475-0_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-28475-0_6

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-28474-3

  • Online ISBN: 978-3-319-28475-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation