{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,12]],"date-time":"2026-07-12T00:12:08Z","timestamp":1783815128022,"version":"3.55.0"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:00:00Z","timestamp":1605744000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:00:00Z","timestamp":1605744000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Computer Science Network of Paris \u00cele-de-France Region","award":["AAP DIM RFSI 2018-03"],"award-info":[{"award-number":["AAP DIM RFSI 2018-03"]}]},{"name":"Romanian Ministry of Education and Research, CCCDI - UEFISCDI","award":["PN-III-P2-2.1-PED-2019-2391, within PNCDI III"],"award-info":[{"award-number":["PN-III-P2-2.1-PED-2019-2391, within PNCDI III"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Membr Comput"],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.1007\/s41965-020-00055-x","type":"journal-article","created":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T09:03:25Z","timestamp":1605776605000},"page":"290-302","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Controllability of reaction systems"],"prefix":"10.1007","volume":"2","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1537-6508","authenticated-orcid":false,"given":"Sergiu","family":"Ivanov","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ion","family":"Petre","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,11,19]]},"reference":[{"key":"55_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. (2016). Complexity of model checking for reaction systems. Theoretical Computer Science, 623, 103\u2013113.","journal-title":"Theoretical Computer Science"},{"key":"55_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. (2015). Dependency graphs and mass conservation in reaction systems. Theoretical Computer Science, 598, 23\u201339.","journal-title":"Theoretical Computer Science"},{"key":"55_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/FI-2014-1016","volume":"131","author":"S Azimi","year":"2014","unstructured":"Azimi, S., Iancu, B., & Petre, I. (2014). Reaction system models for the heat shock response. Fundamenta Informaticae, 131, 1\u201314.","journal-title":"Fundamenta Informaticae"},{"issue":"2","key":"55_CR4","first-page":"9","volume":"I","author":"S Azimi","year":"2015","unstructured":"Azimi, S., Panchal, C., Czeizler, E., & Petre, I. (2015). Reaction systems models for the self-assembly of intermediate filaments. Annals of University of Bucharest, LXI, I(2), 9\u201324.","journal-title":"Annals of University of Bucharest, LXI"},{"issue":"08","key":"55_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. (2017). Multi-stability, limit cycles, and period-doubling bifurcation with reaction systems. International Journal of Foundations of Computer Science, 28(08), 1007\u20131020. (2020\/07\/06).","journal-title":"International Journal of Foundations of Computer Science"},{"issue":"9","key":"55_CR6","doi-asserted-by":"publisher","first-page":"e0139204","DOI":"10.1371\/journal.pone.0139204","volume":"10","author":"R Badhwar","year":"2015","unstructured":"Badhwar, R., & Bagler, G. (2015). Control of neuronal network in Caenorhabditis elegans. PLoS One, 10(9), e0139204.","journal-title":"PLoS One"},{"key":"55_CR7","unstructured":"Barbuti, R., Bove, P., Gori, R., Levi, F., & Milazzo, P. (2018) Simulating gene regulatory networks using reaction systems. In: Bernd-Holger, S., & Samira, A. (Eds.), CS&P. CEUR workshop Proceedings (Vol. 2240). http:\/\/CEUR-WS.org."},{"issue":"5","key":"55_CR8","doi-asserted-by":"publisher","first-page":"1574","DOI":"10.1109\/TCBB.2018.2889102","volume":"16","author":"C Biane","year":"2019","unstructured":"Biane, C., & Delaplace, F. (2019). Causal reasoning on Boolean control networks based on abduction: Theory and application to cancer drug discovery. IEEE\/ACM Transactions on Computational Biology and Bioinformatics, 16(5), 1574\u20131585.","journal-title":"IEEE\/ACM Transactions on Computational Biology and Bioinformatics"},{"issue":"07","key":"55_CR9","doi-asserted-by":"publisher","first-page":"1499","DOI":"10.1142\/S0129054111008842","volume":"22","author":"R Brijder","year":"2011","unstructured":"Brijder, R., Ehrenfeucht, A., Main, M., & Rozenberg, G. (2011). A tour of reaction systems. International Journal of Foundations of Computer Science, 22(07), 1499\u20131517.","journal-title":"International Journal of Foundations of Computer Science"},{"key":"55_CR10","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. (2012). An excursion in reaction systems: From computer science to biology. Theoretical Computer Science, 454, 95\u2013108.","journal-title":"Theoretical Computer Science"},{"key":"55_CR11","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/TCBB.2018.2797271","volume":"15","author":"E Czeizler","year":"2018","unstructured":"Czeizler, E., Gratie, C., Chiu, W. K., Kanhaiya, K., & Petre, I. (2018). Structural target controllability of linear networks. IEEE\/ACM Transactions on Computational Biology and Bioinformatics, 15, 1217\u20131228.","journal-title":"IEEE\/ACM Transactions on Computational Biology and Bioinformatics"},{"issue":"4","key":"55_CR12","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/TCBB.2018.2797271","volume":"15","author":"Eugen Czeizler","year":"2018","unstructured":"Czeizler, Eugen, Kai-Chiu, Wu, Gratie, Cristian, Kanhaiya, Krishna, & Petre, Ion. (2018). Structural target controllability of linear networks. IEEE\/ACM Transactions on Computational Biology and Bioinformatics, 15(4), 1217\u20131228.","journal-title":"IEEE\/ACM Transactions on Computational Biology and Bioinformatics"},{"key":"55_CR13","unstructured":"Dennunzio, A., Formenti, E., Manzoni, L., & Porreca, A. E. (2016). Reachability in resource-bounded reaction systems. In: A. H. Dediu, J.\u00a0Mart\u00edn-Vide, & B.\u00a0Truthe (Eds.), Language and automata theory and applications. LATA. Lecture notes in computer science (Vol. 9618). Springer, Cham."},{"key":"55_CR14","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/j.ic.2019.03.006","volume":"267","author":"A Dennunzio","year":"2019","unstructured":"Dennunzio, A., Formenti, E., Manzoni, L., & Porreca, A. E. (2019). Complexity of the dynamics of reaction systems. Information and Computation, 267, 96\u2013109.","journal-title":"Information and Computation"},{"issue":"1","key":"55_CR15","first-page":"263","volume":"75","author":"A Ehrenfeucht","year":"2007","unstructured":"Ehrenfeucht, A., & Rozenberg, G. (2007). Reaction systems. Fundamenta Informaticae, 75(1), 263\u2013280.","journal-title":"Fundamenta Informaticae"},{"key":"55_CR16","unstructured":"Formenti, E., Manzoni, L., & Porreca, A. E. (2014). Cycles and global attractors of reaction systems. In: H. J\u00fcrgensen, J. Karhum\u00e4ki, & A. Okhotin (Eds.), Descriptional complexity of formal systems. Lecture notes in computer science (Vol. 8614, pp. 114\u2013125). Springer International Publishing."},{"issue":"1","key":"55_CR17","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s11047-014-9456-3","volume":"14","author":"E Formenti","year":"2015","unstructured":"Formenti, E., Manzoni, L., & Porreca, A. E. (2015). On the complexity of occurrence and convergence problems in reaction systems. Natural Computing, 14(1), 185\u2013191.","journal-title":"Natural Computing"},{"issue":"1","key":"55_CR18","doi-asserted-by":"publisher","first-page":"5415","DOI":"10.1038\/ncomms6415","volume":"5","author":"J Gao","year":"2014","unstructured":"Gao, J., Liu, Y.-Y., D\u2019Souza, R. M., & Barab\u00e1si, A.-L. (2014). Target control of complex networks. Nature Communications, 5(1), 5415.","journal-title":"Nature Communications"},{"issue":"6","key":"55_CR19","doi-asserted-by":"publisher","first-page":"063402","DOI":"10.1088\/1742-5468\/aa6de6","volume":"2017","author":"Wei-Feng Guo","year":"2017","unstructured":"Guo, Wei-Feng, Zhang, Shao-Wu, Wei, Ze-Gang, Zeng, Tao, Liu, Fei, Zhang, Jingsong, et al. (2017). Constrained target controllability of complex networks. Journal of Statistical Mechanics: Theory and Experiment, 2017(6), 063402.","journal-title":"Journal of Statistical Mechanics: Theory and Experiment"},{"key":"55_CR20","unstructured":"Ivanov, S., Rogojin, V., Azimi, S., & Petre, I. (2018). WEBRSIM: A web-based reaction systems simulator. In: C.\u00a0Graciani D\u00edaz, A. Riscos-N\u00fa\u00f1ez, G. Paun, G. Rozenberg, & A. Salomaa (Eds.), Enjoying natural computing\u2014essays dedicated to Mario de Jes\u00fas P\u00e9rez-Jim\u00e9nez on the occasion of his 70th birthday. Lecture notes in computer science (vol. 11270, pp. 170\u2013181). Springer."},{"key":"55_CR21","first-page":"189","volume":"1","author":"RE Kalman","year":"1963","unstructured":"Kalman, R. E., Ho, Y. C., & Narendra, K. S. (1963). Controllability of linear dynamical systems. Contributions to Differential Equations, 1, 189\u2013213.","journal-title":"Contributions to Differential Equations"},{"issue":"1","key":"55_CR22","doi-asserted-by":"publisher","first-page":"10327","DOI":"10.1038\/s41598-017-10491-y","volume":"7","author":"K Kanhaiya","year":"2017","unstructured":"Kanhaiya, K., Czeizler, E., Gratie, C., & Petre, I. (2017). Controlling directed protein interaction networks in cancer. Scientific Reports, 7(1), 10327.","journal-title":"Scientific Reports"},{"key":"55_CR23","doi-asserted-by":"crossref","unstructured":"Kanhaiya, K., Rogojin, V., Kazemi, K., Czeizler, E., & Petre, I. (2018). Netcontrol4biomed: A pipeline for biomedical data acquisition and analysis of network controllability. BMC Bioinformatics, 19.","DOI":"10.1186\/s12859-018-2177-3"},{"key":"55_CR24","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1038\/nrc3983","volume":"15","author":"W Kolch","year":"2015","unstructured":"Kolch, W., Halasz, M., Granovskaya, M., & Kholodenko, B. N. (2015). The dynamic control of signal transduction networks in cancer cells. Nature Reviews Cancer, 15, 515\u2013527.","journal-title":"Nature Reviews Cancer"},{"key":"55_CR25","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1038\/nature10011","volume":"473","author":"Y-Y Liu","year":"2011","unstructured":"Liu, Y.-Y., Slotine, J.-J., & Barab\u00e1si, A.-L. (2011). Controllability of complex networks. Nature, 473, 167\u2013173.","journal-title":"Nature"},{"key":"55_CR26","doi-asserted-by":"publisher","first-page":"289","DOI":"10.3233\/FI-2017-1567","volume":"154","author":"A M\u0229ski","year":"2017","unstructured":"M\u0229ski, A., Koutny, M., & Penczek, W. (2017). Verification of linear-time temporal properties for reaction systems with discrete concentrations. Fundamenta Informaticae, 154, 289\u2013306.","journal-title":"Fundamenta Informaticae"},{"key":"55_CR27","unstructured":"M\u0229ski, A., Koutny, M., & Penczek, W. (2019). Model checking for temporal-epistemic properties of distributed reaction systems. Technical report, School of Computing, University of Newcastle upon Tyne."},{"key":"55_CR28","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/j.ins.2015.03.048","volume":"313","author":"A M\u0229ski","year":"2015","unstructured":"M\u0229ski, A., Penczek, W., & Rozenberg, G. (2015). Model checking temporal properties of reaction systems. Information Sciences, 313, 22\u201342.","journal-title":"Information Sciences"},{"issue":"1\u20134","key":"55_CR29","doi-asserted-by":"publisher","first-page":"307","DOI":"10.3233\/FI-2017-1568","volume":"154","author":"Marco S Nobile","year":"2017","unstructured":"Nobile, Marco S., Porreca, Antonio E., Spolaor, Simone, Manzoni, Luca, Cazzaniga, Paolo, Mauri, Giancarlo, et al. (2017). Efficient simulation of reaction systems on graphics processing units. Fundamenta Informaticae, 154(1\u20134), 307\u2013321.","journal-title":"Fundamenta Informaticae"},{"key":"55_CR30","unstructured":"Popescu, V.-B., Kanhaiya, K., N\u0103stac, I., Czeizler, E., & Petre, I. (2020). Identifying efficient controls of complex interaction networks using genetic algorithms. Technical report. arXiv:2007.04853 [q-bio.MN]."},{"key":"55_CR31","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.tcs.2012.07.022","volume":"466","author":"Arto Salomaa","year":"2012","unstructured":"Salomaa, Arto. (2012). Functions and sequences generated by reaction systems. Theoretical Computer Science, 466, 87\u201396.","journal-title":"Theoretical Computer Science"},{"key":"55_CR32","unstructured":"Salomaa, A. (2012). On state sequences defined by reaction systems. In: L.C., Robert, & A.\u00a0Silva (Eds.), Logic and program semantics. Lecture notes in computer science (vol. 7230, pp. 271\u2013282). Springer."},{"issue":"1","key":"55_CR33","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1142\/S0129054113500044","volume":"24","author":"Arto Salomaa","year":"2013","unstructured":"Salomaa, Arto. (2013). Functional constructions between reaction systems and propositional logic. International Journal of Foundations of Computer Science, 24(1), 147\u2013160.","journal-title":"International Journal of Foundations of Computer Science"},{"issue":"3","key":"55_CR34","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s11047-013-9372-y","volume":"12","author":"Arto Salomaa","year":"2013","unstructured":"Salomaa, Arto. (2013). Minimal and almost minimal reaction systems. Natural Computing, 12(3), 369\u2013376.","journal-title":"Natural Computing"},{"key":"55_CR35","unstructured":"Salomaa, A. (2014). Minimal reaction systems defining subset functions. In: C. Calude, R. Freivalds, & K. Iwama (Eds.) Computing with New Resources. Lecture notes in computer science, (vol. 8808, pp. 436\u2013446). Springer."},{"issue":"2","key":"55_CR36","doi-asserted-by":"publisher","first-page":"393","DOI":"10.14232\/actacyb.22.2.2015.2","volume":"22","author":"Arto Salomaa","year":"2015","unstructured":"Salomaa, Arto. (2015). Two-step simulations of reaction systems by minimal ones. Acta Cybernetica, 22(2), 393\u2013311.","journal-title":"Acta Cybernetica"},{"issue":"1\u20134","key":"55_CR37","doi-asserted-by":"publisher","first-page":"281","DOI":"10.3233\/FI-2020-1957","volume":"175","author":"JAS Martin","year":"2020","unstructured":"Martin, J. A. S., & Petre, I. (2020). Network controllability analysis of three multiple myeloma patient genetic mutation datatset. Fundamenta Informaticae, 175(1\u20134), 281\u2013299.","journal-title":"Fundamenta Informaticae"},{"key":"55_CR38","doi-asserted-by":"crossref","unstructured":"Teh, W.\u00a0C., & Atanasiu, A. (2020). Simulation of reaction systems by the strictly minimal ones. Journal of Membrane Computing.","DOI":"10.1007\/s41965-020-00042-2"},{"key":"55_CR39","unstructured":"Vuong, Q.-T., Chauvin, R., Ivanov, S., Glade, N., & Trilling, L. (2017). A logical constraint-based approach to infer and explore diversity and composition in thresholded boolean automaton networks. In: C. Cherifi, H. Cherifi, M. K., & Mirco, M. (Eds.), Complex networks & their applications VI\u2014Proceedings of complex networks 2017 (the sixth international conference on complex networks and their applications), COMPLEX NETWORKS 2017, Lyon, France, November 29\u2013December 1, 2017. Studies in computational intelligence (Vol. 689, pp. 567\u2013579). Springer."},{"issue":"1","key":"55_CR40","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1186\/s41236-017-0007-6","volume":"1","author":"JGT Za\u00f1udo","year":"2017","unstructured":"Za\u00f1udo, J. G. T., Scaltriti, M., & Albert, R. (2017). A network modeling approach to elucidate drug resistance mechanisms and predict combinatorial drug treatments in breast cancer. Cancer Convergence, 1(1), 5.","journal-title":"Cancer Convergence"},{"key":"55_CR41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.coisb.2018.02.002","volume":"9","author":"JGT Za\u00f1udo","year":"2018","unstructured":"Za\u00f1udo, J. G. T., Steinway, S. N., & Albert, R. (2018). Discrete dynamic network modeling of oncogenic signaling: Mechanistic insights for personalized treatment of cancer. Current Opinion in Systems Biology, 9, 1\u201310.","journal-title":"Current Opinion in Systems Biology"}],"container-title":["Journal of Membrane Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s41965-020-00055-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s41965-020-00055-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s41965-020-00055-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,10]],"date-time":"2020-12-10T17:10:11Z","timestamp":1607620211000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s41965-020-00055-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,19]]},"references-count":41,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["55"],"URL":"https:\/\/doi.org\/10.1007\/s41965-020-00055-x","relation":{},"ISSN":["2523-8906","2523-8914"],"issn-type":[{"value":"2523-8906","type":"print"},{"value":"2523-8914","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,11,19]]},"assertion":[{"value":"17 July 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 October 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 November 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}