{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,12]],"date-time":"2026-07-12T00:12:07Z","timestamp":1783815127866,"version":"3.55.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030002640","type":"print"},{"value":"9783030002657","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-00265-7_14","type":"book-chapter","created":{"date-parts":[[2018,9,14]],"date-time":"2018-09-14T13:14:01Z","timestamp":1536930841000},"page":"170-181","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["WEBRSIM: A Web-Based Reaction Systems Simulator"],"prefix":"10.1007","author":[{"given":"Sergiu","family":"Ivanov","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vladimir","family":"Rogojin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sepinoud","family":"Azimi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ion","family":"Petre","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,9,15]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.tcs.2015.11.040","volume":"623","author":"S Azimi","year":"2016","unstructured":"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\u2013113 (2016)","journal-title":"Theor. Comput. Sci."},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.tcs.2015.02.014","volume":"598","author":"S Azimi","year":"2015","unstructured":"Azimi, S., Gratie, C., Ivanov, S., Petre, I.: Dependency graphs and mass conservation in reaction systems. Theor. Comput. Sci. 598, 23\u201339 (2015)","journal-title":"Theor. Comput. Sci."},{"issue":"3\u20134","key":"14_CR3","doi-asserted-by":"crossref","first-page":"299","DOI":"10.3233\/FI-2014-1016","volume":"131","author":"S Azimi","year":"2014","unstructured":"Azimi, S., Iancu, B., Petre, I.: Reaction system models for the heat shock response. Fundam. Inform. 131(3\u20134), 299\u2013312 (2014)","journal-title":"Fundam. Inform."},{"issue":"2","key":"14_CR4","first-page":"9","volume":"62","author":"S Azimi","year":"2015","unstructured":"Azimi, S., Panchal, C., Czeizler, E., Petre, I.: Reaction systems models for the self-assembly of intermediate filaments. Ann. Univ. Buchar. 62(2), 9\u201324 (2015)","journal-title":"Ann. Univ. Buchar."},{"issue":"08","key":"14_CR5","doi-asserted-by":"publisher","first-page":"1007","DOI":"10.1142\/S0129054117500368","volume":"28","author":"S Azimi","year":"2017","unstructured":"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\u20131020 (2017)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"14_CR6","first-page":"1","volume":"30","author":"R Brijder","year":"2010","unstructured":"Brijder, R., Ehrenfeucht, A., Rozenberg, G.: A note on causalities in reaction systems. Electron. Commun. EASST 30, 1\u201310 (2010)","journal-title":"Electron. Commun. EASST"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-642-20000-7_16","volume-title":"Computation, Cooperation, and Life","author":"R Brijder","year":"2011","unstructured":"Brijder, R., Ehrenfeucht, A., Rozenberg, G.: Reaction systems with duration. In: Kelemen, J., Kelemenov\u00e1, A. (eds.) Computation, Cooperation, and Life. LNCS, vol. 6610, pp. 191\u2013202. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20000-7_16"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/j.tcs.2012.04.003","volume":"454","author":"L Corolli","year":"2012","unstructured":"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\u2013108 (2012)","journal-title":"Theor. Comput. Sci."},{"issue":"03","key":"14_CR9","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1142\/S0129054110007295","volume":"21","author":"A Ehrenfeucht","year":"2010","unstructured":"Ehrenfeucht, A., Main, M., Rozenberg, G.: Combinatorics of life and death for reaction systems. Int. J. Found. Comput. Sci. 21(03), 345\u2013356 (2010)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Ehrenfeucht, A., Petre, I., Rozenberg, G.: Reaction systems: a model of computation inspired by the functioning of the living cell, pp. 1\u201332. World Scientific, 01 July 2018 (2016)","DOI":"10.1142\/9789813148208_0001"},{"issue":"1","key":"14_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2007.01.008","volume":"376","author":"A Ehrenfeucht","year":"2007","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Events and modules in reaction systems. Theor. Comput. Sci. 376(1), 3\u201316 (2007)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"14_CR12","first-page":"263","volume":"75","author":"A Ehrenfeucht","year":"2007","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundam. Inform. 75(1), 263\u2013280 (2007)","journal-title":"Fundam. Inform."},{"issue":"4","key":"14_CR13","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1016\/j.tcs.2008.09.043","volume":"410","author":"A Ehrenfeucht","year":"2009","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Introducing time in reaction systems. Theor. Comput. Sci. 410(4), 310\u2013322 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"14_CR14","unstructured":"Free Software Foundation. GNU General Public License. http:\/\/www.gnu.org\/licenses\/gpl.html"},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"1922","DOI":"10.1007\/978-1-4020-8265-8","volume-title":"Encyclopedia of Sciences and Religions","author":"M Hirvensalo","year":"2013","unstructured":"Hirvensalo, M.: Quantum computing. In: Runehov, A.L.C., Oviedo, L. (eds.) Encyclopedia of Sciences and Religions, pp. 1922\u20131926. Springer, Dordrecht (2013). https:\/\/doi.org\/10.1007\/978-1-4020-8265-8"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1016\/j.ins.2015.03.048","volume":"313","author":"A Meski","year":"2015","unstructured":"Meski, A., Penczek, W., Rozenberg, G.: Model checking temporal properties of reaction systems. Inf. Sci. 313, 24\u201342 (2015)","journal-title":"Inf. Sci."},{"issue":"1\u20134","key":"14_CR17","first-page":"307","volume":"154","author":"S Marco","year":"2017","unstructured":"Marco, S.: Efficient simulation of reaction systems on graphics processing units. Fundam. Inform. 154(1\u20134), 307\u2013321 (2017)","journal-title":"Fundam. Inform."},{"issue":"1","key":"14_CR18","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1007\/s11047-010-9216-y","volume":"10","author":"I Petre","year":"2011","unstructured":"Petre, I., et al.: A simple mass-action model for the eukaryotic heat shock response and its mathematical validation. Natural Comput. 10(1), 595\u2013612 (2011)","journal-title":"Natural Comput."},{"key":"14_CR19","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.tcs.2014.12.018","volume":"598","author":"A Salomaa","year":"2015","unstructured":"Salomaa, A.: Applications of the Chinese remainder theorem to reaction systems with duration. Theor. Comput. Sci. 598, 15\u201322 (2015)","journal-title":"Theor. Comput. Sci."},{"key":"14_CR20","unstructured":"Documentation of Data.Set. http:\/\/hackage.haskell.org\/package\/containers-0.5.11.0\/docs\/Data-Set.html"},{"key":"14_CR21","unstructured":"GitHub \u2013 scolobb\/brsim: A Basic Reaction System Simulator. https:\/\/github.com\/scolobb\/brsim"},{"key":"14_CR22","unstructured":"Web interface for Basic Reaction System Simulator. http:\/\/combio.abo.fi\/research\/reaction-systems\/reaction-system-simulator\/"}],"container-title":["Lecture Notes in Computer Science","Enjoying Natural Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00265-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,9]],"date-time":"2020-11-09T21:58:28Z","timestamp":1604959108000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00265-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030002640","9783030002657"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00265-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}