Skip to main content
SpringerLink
Log in

WEBRSIM: A Web-Based Reaction Systems Simulator

  • Chapter
  • First Online:
Enjoying Natural Computing

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

Abstract

We introduce WEBRSIM, the first web-based simulator for reaction systems. The simulator has an easy-to-use interface where the input is a reaction system and four functionalities: the computation of the interactive process driven by a given context sequence, the behaviour graph of the reaction system, its conservation dependency graph, and all its conserved sets. WEBRSIM comes with a browser-based friendly interface and offers a fast software to support computational modeling with reaction systems.

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. Azimi, S., Gratie, C., Ivanov, S., Manzoni, L., Petre, I., Porreca, A.E.: Complexity of model checking for reaction systems. Theor. Comput. Sci. 623, 103–113 (2016)

    Article  MathSciNet  Google Scholar 

  2. Azimi, S., Gratie, C., Ivanov, S., Petre, I.: Dependency graphs and mass conservation in reaction systems. Theor. Comput. Sci. 598, 23–39 (2015)

    Article  MathSciNet  Google Scholar 

  3. Azimi, S., Iancu, B., Petre, I.: Reaction system models for the heat shock response. Fundam. Inform. 131(3–4), 299–312 (2014)

    MathSciNet  MATH  Google Scholar 

  4. Azimi, S., Panchal, C., Czeizler, E., Petre, I.: Reaction systems models for the self-assembly of intermediate filaments. Ann. Univ. Buchar. 62(2), 9–24 (2015)

    Google Scholar 

  5. Azimi, S., Panchal, C., Mizera, A., Petre, I.: Multi-stability, limit cycles, and period-doubling bifurcation with reaction systems. Int. J. Found. Comput. Sci. 28(08), 1007–1020 (2017)

    Article  MathSciNet  Google Scholar 

  6. Brijder, R., Ehrenfeucht, A., Rozenberg, G.: A note on causalities in reaction systems. Electron. Commun. EASST 30, 1–10 (2010)

    Google Scholar 

  7. Brijder, R., Ehrenfeucht, A., Rozenberg, G.: Reaction systems with duration. In: Kelemen, J., Kelemenová, A. (eds.) Computation, Cooperation, and Life. LNCS, vol. 6610, pp. 191–202. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-20000-7_16

    Chapter  Google Scholar 

  8. Corolli, L., Maj, C., Marini, F., Besozzi, D., Mauri, G.: An excursion in reaction systems: from computer science to biology. Theor. Comput. Sci. 454, 95–108 (2012)

    Article  MathSciNet  Google Scholar 

  9. Ehrenfeucht, A., Main, M., Rozenberg, G.: Combinatorics of life and death for reaction systems. Int. J. Found. Comput. Sci. 21(03), 345–356 (2010)

    Article  MathSciNet  Google Scholar 

  10. Ehrenfeucht, A., Petre, I., Rozenberg, G.: Reaction systems: a model of computation inspired by the functioning of the living cell, pp. 1–32. World Scientific, 01 July 2018 (2016)

    Google Scholar 

  11. Ehrenfeucht, A., Rozenberg, G.: Events and modules in reaction systems. Theor. Comput. Sci. 376(1), 3–16 (2007)

    Article  MathSciNet  Google Scholar 

  12. Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundam. Inform. 75(1), 263–280 (2007)

    MathSciNet  MATH  Google Scholar 

  13. Ehrenfeucht, A., Rozenberg, G.: Introducing time in reaction systems. Theor. Comput. Sci. 410(4), 310–322 (2009)

    Article  MathSciNet  Google Scholar 

  14. Free Software Foundation. GNU General Public License. http://www.gnu.org/licenses/gpl.html

  15. Hirvensalo, M.: Quantum computing. In: Runehov, A.L.C., Oviedo, L. (eds.) Encyclopedia of Sciences and Religions, pp. 1922–1926. Springer, Dordrecht (2013). https://doi.org/10.1007/978-1-4020-8265-8

    Chapter  Google Scholar 

  16. Meski, A., Penczek, W., Rozenberg, G.: Model checking temporal properties of reaction systems. Inf. Sci. 313, 24–42 (2015)

    Article  Google Scholar 

  17. Marco, S.: Efficient simulation of reaction systems on graphics processing units. Fundam. Inform. 154(1–4), 307–321 (2017)

    MathSciNet  MATH  Google Scholar 

  18. Petre, I., et al.: A simple mass-action model for the eukaryotic heat shock response and its mathematical validation. Natural Comput. 10(1), 595–612 (2011)

    Article  MathSciNet  Google Scholar 

  19. Salomaa, A.: Applications of the Chinese remainder theorem to reaction systems with duration. Theor. Comput. Sci. 598, 15–22 (2015)

    Article  MathSciNet  Google Scholar 

  20. Documentation of Data.Set. http://hackage.haskell.org/package/containers-0.5.11.0/docs/Data-Set.html

  21. GitHub – scolobb/brsim: A Basic Reaction System Simulator. https://github.com/scolobb/brsim

  22. Web interface for Basic Reaction System Simulator. http://combio.abo.fi/research/reaction-systems/reaction-system-simulator/

Download references

Author information

Authors and Affiliations

  1. IBISC, Université Évry, Université Paris-Saclay, Évry, France

    Sergiu Ivanov

  2. Computational Biomodeling Laboratory, Turku Centre for Computer Science, Turku, Finland

    Vladimir Rogojin, Sepinoud Azimi & Ion Petre

  3. Department of Information Technologies, Åbo Akademi University, Agora, Domkyrkotorget 3, Turku, 20500, Finland

    Vladimir Rogojin, Sepinoud Azimi & Ion Petre

  4. National Institute for Research and Development in Biological Sciences, Bucharest, Romania

    Ion Petre

Authors
  1. Sergiu Ivanov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vladimir Rogojin
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sepinoud Azimi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ion Petre
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ion Petre .

Editor information

Editors and Affiliations

  1. University of Seville, Sevilla, Spain

    Carmen Graciani

  2. University of Seville, Sevilla, Spain

    Agustín Riscos-Núñez

  3. Romanian Academy, Bucharest, Romania

    Gheorghe Păun

  4. Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

  5. Turku Centre for Computer Science, Turku, Finland

    Arto Salomaa

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Ivanov, S., Rogojin, V., Azimi, S., Petre, I. (2018). WEBRSIM: A Web-Based Reaction Systems Simulator. In: Graciani, C., Riscos-Núñez, A., Păun, G., Rozenberg, G., Salomaa, A. (eds) Enjoying Natural Computing. Lecture Notes in Computer Science(), vol 11270. Springer, Cham. https://doi.org/10.1007/978-3-030-00265-7_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-00265-7_14

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-00264-0

  • Online ISBN: 978-3-030-00265-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation