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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
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)
Azimi, S., Gratie, C., Ivanov, S., Petre, I.: Dependency graphs and mass conservation in reaction systems. Theor. Comput. Sci. 598, 23–39 (2015)
Azimi, S., Iancu, B., Petre, I.: Reaction system models for the heat shock response. Fundam. Inform. 131(3–4), 299–312 (2014)
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)
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)
Brijder, R., Ehrenfeucht, A., Rozenberg, G.: A note on causalities in reaction systems. Electron. Commun. EASST 30, 1–10 (2010)
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
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)
Ehrenfeucht, A., Main, M., Rozenberg, G.: Combinatorics of life and death for reaction systems. Int. J. Found. Comput. Sci. 21(03), 345–356 (2010)
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)
Ehrenfeucht, A., Rozenberg, G.: Events and modules in reaction systems. Theor. Comput. Sci. 376(1), 3–16 (2007)
Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundam. Inform. 75(1), 263–280 (2007)
Ehrenfeucht, A., Rozenberg, G.: Introducing time in reaction systems. Theor. Comput. Sci. 410(4), 310–322 (2009)
Free Software Foundation. GNU General Public License. http://www.gnu.org/licenses/gpl.html
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
Meski, A., Penczek, W., Rozenberg, G.: Model checking temporal properties of reaction systems. Inf. Sci. 313, 24–42 (2015)
Marco, S.: Efficient simulation of reaction systems on graphics processing units. Fundam. Inform. 154(1–4), 307–321 (2017)
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)
Salomaa, A.: Applications of the Chinese remainder theorem to reaction systems with duration. Theor. Comput. Sci. 598, 15–22 (2015)
Documentation of Data.Set. http://hackage.haskell.org/package/containers-0.5.11.0/docs/Data-Set.html
GitHub – scolobb/brsim: A Basic Reaction System Simulator. https://github.com/scolobb/brsim
Web interface for Basic Reaction System Simulator. http://combio.abo.fi/research/reaction-systems/reaction-system-simulator/
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this chapter
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)