{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T22:23:14Z","timestamp":1765232594722,"version":"3.37.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319924342"},{"type":"electronic","value":"9783319924359"}],"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-319-92435-9_10","type":"book-chapter","created":{"date-parts":[[2018,5,30]],"date-time":"2018-05-30T13:09:58Z","timestamp":1527685798000},"page":"131-144","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Reaction Mining for Reaction Systems"],"prefix":"10.1007","author":[{"given":"Artur","family":"M\u0119ski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wojciech","family":"Penczek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,31]]},"reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-319-54072-6_4","volume-title":"Membrane Computing","author":"A Alhazov","year":"2017","unstructured":"Alhazov, A., Aman, B., Freund, R., Ivanov, S.: Simulating R systems by P systems. In: Leporati, A., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) CMC 2016. LNCS, vol. 10105, pp. 51\u201366. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-54072-6_4"},{"key":"10_CR2","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":"10_CR3","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":"10_CR4","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. Fundamenta Informaticae 131(3\u20134), 299\u2013312 (2014)","journal-title":"Fundamenta Informaticae"},{"key":"10_CR5","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":"10_CR6","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."},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1016\/j.tcs.2015.06.001","volume":"598","author":"A Dennunzio","year":"2015","unstructured":"Dennunzio, A., Formenti, E., Manzoni, L.: Reaction systems and extremal combinatorics properties. Theor. Comput. Sci. 598, 138\u2013149 (2015)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/j.tcs.2015.05.046","volume":"608","author":"A Dennunzio","year":"2015","unstructured":"Dennunzio, A., Formenti, E., Manzoni, L., Porreca, A.E.: Ancestors, descendants, and gardens of eden in reaction systems. Theor. Comput. Sci. 608, 16\u201326 (2015)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1142\/9789814374309_0010","volume-title":"A Computable Universe","author":"Andrzej Ehrenfeucht","year":"2012","unstructured":"Ehrenfeucht, A., Kleijn, J., Koutny, M., Rozenberg, G.: Reaction systems: a natural computing approach to the functioning of living cells. In: A Computable Universe, Understanding and Exploring Nature as Computation, pp. 189\u2013208 (2012)"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.tcs.2016.12.031","volume":"682","author":"A Ehrenfeucht","year":"2017","unstructured":"Ehrenfeucht, A., Kleijn, J., Koutny, M., Rozenberg, G.: Evolving reaction systems. Theor. Comput. Sci. 682, 79\u201399 (2017)","journal-title":"Theor. Comput. Sci."},{"issue":"1\u20134","key":"10_CR11","first-page":"263","volume":"75","author":"A Ehrenfeucht","year":"2007","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundamenta Informaticae 75(1\u20134), 263\u2013280 (2007)","journal-title":"Fundamenta Informaticae"},{"issue":"4\u20135","key":"10_CR12","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\u20135), 310\u2013322 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-319-09704-6_11","volume-title":"Descriptional Complexity of Formal Systems","author":"E Formenti","year":"2014","unstructured":"Formenti, E., Manzoni, L., Porreca, A.E.: Cycles and global attractors of reaction systems. In: J\u00fcrgensen, H., Karhum\u00e4ki, J., Okhotin, A. (eds.) DCFS 2014. LNCS, vol. 8614, pp. 114\u2013125. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-09704-6_11"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-319-08019-2_20","volume-title":"Language, Life, Limits","author":"E Formenti","year":"2014","unstructured":"Formenti, E., Manzoni, L., Porreca, A.E.: Fixed points and attractors of reaction systems. In: Beckmann, A., Csuhaj-Varj\u00fa, E., Meer, K. (eds.) CiE 2014. LNCS, vol. 8493, pp. 194\u2013203. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08019-2_20"},{"issue":"1","key":"10_CR15","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s11047-014-9456-3","volume":"14","author":"Enrico Formenti","year":"2014","unstructured":"Formenti, E., Manzoni, L., Porreca, A.E.: On the complexity of occurrence and convergence problems in reaction systems. Nat. Comput. 14, 1\u20137 (2014)","journal-title":"Natural Computing"},{"key":"10_CR16","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1016\/j.tcs.2011.12.032","volume":"429","author":"M Hirvensalo","year":"2012","unstructured":"Hirvensalo, M.: On probabilistic and quantum reaction systems. Theor. Comput. Sci. 429, 134\u2013143 (2012)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"10_CR17","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BF00251225","volume":"47","author":"F Horn","year":"1972","unstructured":"Horn, F., Jackson, R.: General mass action kinetics. Arch. Ration. Mech. Anal. 47(2), 81\u2013116 (1972)","journal-title":"Arch. Ration. Mech. Anal."},{"key":"10_CR18","series-title":"Texts in Theoretical Computer Science. An EATCS Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-50497-0","volume-title":"Decision Procedures - An Algorithmic Point of View","author":"D Kroening","year":"2016","unstructured":"Kroening, D., Strichman, O.: Decision Procedures - An Algorithmic Point of View. Texts in Theoretical Computer Science. An EATCS Series, 2nd edn. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-50497-0","edition":"2"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-319-41312-9_12","volume-title":"Unconventional Computation and Natural Computation","author":"A M\u0119ski","year":"2016","unstructured":"M\u0119ski, A., Koutny, M., Penczek, W.: Towards quantitative verification of reaction systems. In: Amos, M., Condon, A. (eds.) UCNC 2016. LNCS, vol. 9726, pp. 142\u2013154. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41312-9_12"},{"key":"10_CR20","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/j.ins.2015.03.048","volume":"313","author":"A M\u0119ski","year":"2015","unstructured":"M\u0119ski, A., Penczek, W., Rozenberg, G.: Model checking temporal properties of reaction systems. Inf. Sci. 313, 22\u201342 (2015)","journal-title":"Inf. Sci."},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"issue":"1-4","key":"10_CR22","doi-asserted-by":"publisher","first-page":"289","DOI":"10.3233\/FI-2017-1567","volume":"154","author":"Artur M\u0119ski","year":"2017","unstructured":"M\u0119ski, A., Koutny, M., Penczek, W.: Verification of linear-time temporal properties for reaction systems with discrete concentrations. Fundam. Inform. 154(1\u20134), 289\u2013306 (2017)","journal-title":"Fundamenta Informaticae"},{"key":"10_CR23","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.tcs.2012.07.022","volume":"466","author":"A Salomaa","year":"2012","unstructured":"Salomaa, A.: Functions and sequences generated by reaction systems. Theor. Comput. Sci. 466, 87\u201396 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-642-29485-3_17","volume-title":"Logic and Program Semantics","author":"A Salomaa","year":"2012","unstructured":"Salomaa, A.: On state sequences defined by reaction systems. In: Constable, R.L., Silva, A. (eds.) Logic and Program Semantics. LNCS, vol. 7230, pp. 271\u2013282. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29485-3_17"},{"issue":"1","key":"10_CR25","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1142\/S0129054113500044","volume":"24","author":"A Salomaa","year":"2013","unstructured":"Salomaa, A.: Functional constructions between reaction systems and propositional logic. Int. J. Found. Comput. Sci. 24(1), 147\u2013160 (2013)","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"3","key":"10_CR26","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s11047-013-9372-y","volume":"12","author":"A Salomaa","year":"2013","unstructured":"Salomaa, A.: Minimal and almost minimal reaction systems. Nat. Comput. 12(3), 369\u2013376 (2013)","journal-title":"Nat. Comput."}],"container-title":["Lecture Notes in Computer Science","Unconventional Computation and Natural Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92435-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,2]],"date-time":"2020-11-02T21:26:29Z","timestamp":1604352389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-92435-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319924342","9783319924359"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92435-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}