{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,10]],"date-time":"2025-12-10T08:52:58Z","timestamp":1765356778199,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030603267"},{"type":"electronic","value":"9783030603274"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-60327-4_4","type":"book-chapter","created":{"date-parts":[[2020,9,30]],"date-time":"2020-09-30T22:38:31Z","timestamp":1601505511000},"page":"61-78","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Graphical Conditions for Rate Independence in Chemical Reaction Networks"],"prefix":"10.1007","author":[{"given":"\u00c9lisabeth","family":"Degrand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Fages","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvain","family":"Soliman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,9,29]]},"reference":[{"key":"4_CR1","series-title":"LNCIS","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-540-71988-5_9","volume-title":"Biology and Control Theory: Current Challenges","author":"D Angeli","year":"2007","unstructured":"Angeli, D., Leenheer, P.D., Sontag, E.D.: A Petri net approach to persistence analysis in chemical reaction networks. In: Queinnec, I., Tarbouriech, S., Garcia, G., Niculescu, S.I. (eds.) Biology and Control Theory: Current Challenges. LNCIS, vol. 357, pp. 181\u2013216. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71988-5_9"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Angeli, D., Leenheer, P.D., Sontag, E.D.: Persistence results for chemical reaction networks with time-dependent kinetics and no global conservation laws. In: Proceedings of the 48h IEEE Conference on Decision and Control (CDC), pp. 4559\u20134564. IEEE (2009)","DOI":"10.1109\/CDC.2009.5400826"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.jtbi.2018.09.024","volume":"459","author":"A Baudier","year":"2018","unstructured":"Baudier, A., Fages, F., Soliman, S.: Graphical requirements for multistationarity in reaction networks and their verification in biomodels. J. Theor. Biol. 459, 79\u201389 (2018). https:\/\/hal.archives-ouvertes.fr\/hal-01879735","journal-title":"J. Theor. Biol."},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-319-99429-1_15","volume-title":"Computational Methods in Systems Biology","author":"C Chalk","year":"2018","unstructured":"Chalk, C., Kornerup, N., Reeves, W., Soloveichik, D.: Composable rate-independent computation in continuous chemical reaction networks. In: \u010ce\u0161ka, M., \u0160afr\u00e1nek, D. (eds.) CMSB 2018. LNCS, vol. 11095, pp. 256\u2013273. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99429-1_15"},{"issue":"4","key":"4_CR5","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C Chaouiya","year":"2007","unstructured":"Chaouiya, C.: Petri net modelling of biological networks. Brief. Bioinform. 8(4), 210\u2013219 (2007)","journal-title":"Brief. Bioinform."},{"issue":"2","key":"4_CR6","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.jda.2007.06.003","volume":"6","author":"C Chaouiya","year":"2008","unstructured":"Chaouiya, C., Remy, E., Thieffry, D.: Petri net modelling of biological regulatory networks. J. Discret. Algorithms 6(2), 165\u2013177 (2008)","journal-title":"J. Discret. Algorithms"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Chelliah, V., Laibe, C., Nov\u00e8re, N.: Biomodels database: a repository of mathematical models of biological processes. In: Schneider, M.V. (ed.) In Silico Systems Biology, Methods in Molecular Biology, vol. 1021, pp. 189\u2013199. Humana Press (2013)","DOI":"10.1007\/978-1-62703-450-0_10"},{"key":"4_CR8","first-page":"25","volume":"7433","author":"HL Chen","year":"2012","unstructured":"Chen, H.L., Doty, D., Soloveichik, D.: Deterministic function computation with chemical reaction networks. Nat. Comput. 7433, 25\u201342 (2012)","journal-title":"Nat. Comput."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Chen, H.L., Doty, D., Soloveichik, D.: Rate-independent computation in continuous chemical reaction networks. In: Proceedings of the 5th Conference on Innovations in Theoretical Computer Science, ITCS 2014, pp. 313\u2013326. ACM, New York (2014)","DOI":"10.1145\/2554797.2554827"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1038\/nnano.2013.189","volume":"8","author":"Y Chen","year":"2013","unstructured":"Chen, Y., et al.: Programmable chemical controllers made from DNA. Nat. Nanotechnol. 8, 755\u2013762 (2013)","journal-title":"Nat. Nanotechnol."},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/978-3-540-88869-7_27","volume-title":"Algorithmic Bioprocesses","author":"M Cook","year":"2009","unstructured":"Cook, M., Soloveichik, D., Winfree, E., Bruck, J.: Programmability of chemical reaction networks. In: Condon, A., Harel, D., Kok, J.N., Salomaa, A., Winfree, E. (eds.) Algorithmic Bioprocesses, pp. 543\u2013584. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-540-88869-7_27"},{"issue":"4","key":"4_CR12","doi-asserted-by":"publisher","first-page":"e7845","DOI":"10.15252\/msb.20177845","volume":"14","author":"A Courbet","year":"2018","unstructured":"Courbet, A., Amar, P., Fages, F., Renard, E., Molina, F.: Computer-aided biochemical programming of synthetic microreactors as diagnostic devices. Mol. Syst. Biol. 14(4), e7845 (2018)","journal-title":"Mol. Syst. Biol."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL 1977: Proceedings of the 6th ACM Symposium on Principles of Programming Languages, pp. 238\u2013252. ACM Press, New York, Los Angeles (1977)","DOI":"10.1145\/512950.512973"},{"issue":"4","key":"4_CR14","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1137\/050634177","volume":"66","author":"G Craciun","year":"2006","unstructured":"Craciun, G., Feinberg, M.: Multiple equilibria in complex chemical reaction networks: II. The species-reaction graph. SIAM J. Appl. Math. 66(4), 1321\u20131338 (2006)","journal-title":"SIAM J. Appl. Math."},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-319-67471-1_7","volume-title":"Computational Methods in Systems Biology","author":"F Fages","year":"2017","unstructured":"Fages, F., Le Guludec, G., Bournez, O., Pouly, A.: Strong turing completeness of continuous chemical reaction networks and compilation of mixed analog-digital programs. In: Feret, J., Koeppl, H. (eds.) CMSB 2017. LNCS, vol. 10545, pp. 108\u2013127. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67471-1_7"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.tcs.2014.07.032","volume":"599","author":"F Fages","year":"2015","unstructured":"Fages, F., Gay, S., Soliman, S.: Inferring reaction systems from ordinary differential equations. Theor. Comput. Sci. 599, 64\u201378 (2015)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"4_CR17","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.tcs.2008.04.024","volume":"403","author":"F Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: Abstract interpretation and types for systems biology. Theor. Comput. Sci. 403(1), 52\u201370 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-540-68413-8_7","volume-title":"Formal Methods in Systems Biology","author":"F Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: From reaction models to influence graphs and back: a theorem. In: Fisher, J. (ed.) FMSB 2008. LNCS, vol. 5054, pp. 90\u2013102. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68413-8_7"},{"key":"4_CR19","unstructured":"Feinberg, M.: Mathematical aspects of mass action kinetics. In: Lapidus, L., Amundson, N.R. (eds.) Chemical Reactor Theory: A Review, Chap. 1, pp. 1\u201378. Prentice-Hall (1977)"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/11767589_11","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"D Gilbert","year":"2006","unstructured":"Gilbert, D., Heiner, M.: From petri nets to differential equations \u2013 an integrative approach for biochemical network analysis. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 181\u2013200. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11767589_11"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-540-68894-5_7","volume-title":"Formal Methods for Computational Systems Biology","author":"M Heiner","year":"2008","unstructured":"Heiner, M., Gilbert, D., Donaldson, R.: Petri nets for systems and synthetic biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 215\u2013264. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68894-5_7"},{"issue":"4","key":"4_CR22","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M Hucka","year":"2003","unstructured":"Hucka, M., et al.: The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19(4), 524\u2013531 (2003)","journal-title":"Bioinformatics"},{"issue":"6","key":"4_CR23","doi-asserted-by":"publisher","first-page":"1535","DOI":"10.1007\/s00285-017-1182-x","volume":"76","author":"MD Johnston","year":"2018","unstructured":"Johnston, M.D., Anderson, D.F., Craciun, G., Brijder, R.: Conditions for extinction events in chemical reaction networks with discrete state spaces. J. Math. Biol. 76(6), 1535\u20131558 (2018)","journal-title":"J. Math. Biol."},{"issue":"15","key":"4_CR24","doi-asserted-by":"publisher","first-page":"1930","DOI":"10.1093\/bioinformatics\/btl267","volume":"22","author":"A von Kamp","year":"2006","unstructured":"von Kamp, A., Schuster, S.: Metatool 5.0: fast and flexible elementary modes analysis. Bioinformatics 22(15), 1930\u20131931 (2006)","journal-title":"Bioinformatics"},{"issue":"3","key":"4_CR25","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10928-008-9087-3","volume":"35","author":"FJ Lebeda","year":"2008","unstructured":"Lebeda, F.J., Adler, M., Erickson, K., Chushak, Y.: Onset dynamics of type A botulinum neurotoxin-induced paralysis. J. Pharmacok. Pharmacodyn. 35(3), 251\u2013267 (2008)","journal-title":"J. Pharmacok. Pharmacodyn."},{"issue":"2","key":"4_CR26","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10601-015-9190-1","volume":"21","author":"F Nabli","year":"2016","unstructured":"Nabli, F., Martinez, T., Fages, F., Soliman, S.: On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity. Constraints 21(2), 251\u2013276 (2016)","journal-title":"Constraints"},{"issue":"1","key":"4_CR27","first-page":"297","volume":"43","author":"S Ovchinnikov","year":"2002","unstructured":"Ovchinnikov, S.: Max-min representation of piecewise linear functions. Contrib. Algebra Geom. 43(1), 297\u2013302 (2002)","journal-title":"Contrib. Algebra Geom."},{"key":"4_CR28","volume-title":"Petri Net Theory and the Modeling of Systems","author":"JL Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall, New Jersey (1981)"},{"key":"4_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-18305-8_12","volume-title":"DNA Computing and Molecular Programming","author":"L Qian","year":"2011","unstructured":"Qian, L., Soloveichik, D., Winfree, E.: Efficient turing-universal computation with DNA polymers. In: Sakakibara, Y., Mi, Y. (eds.) DNA 2010. LNCS, vol. 6518, pp. 123\u2013140. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-18305-8_12"},{"key":"4_CR30","unstructured":"Reddy, V.N., Mavrovouniotis, M.L., Liebman, M.N.: Petri net representations in metabolic pathways. In: Hunter, L., Searls, D.B., Shavlik, J.W. (eds.) Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology (ISMB), pp. 328\u2013336. AAAI Press (1993)"},{"key":"4_CR31","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1186\/1471-2105-7-482","volume":"7","author":"A Sackmann","year":"2006","unstructured":"Sackmann, A., Heiner, M., Koch, I.: Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinform. 7, 482 (2006)","journal-title":"BMC Bioinform."},{"issue":"4","key":"4_CR32","doi-asserted-by":"publisher","first-page":"1535","DOI":"10.5185\/amlett.2020.041499","volume":"11","author":"FS Schneider","year":"2020","unstructured":"Schneider, F.S., et al.: Biomachines for medical diagnosis. Adv. Mater. Lett. 11(4), 1535\u20131558 (2020)","journal-title":"Adv. Mater. Lett."},{"issue":"6","key":"4_CR33","doi-asserted-by":"publisher","first-page":"e21414","DOI":"10.1371\/journal.pone.0021414","volume":"6","author":"P Senum","year":"2011","unstructured":"Senum, P., Riedel, M.: Rate-independent constructs for chemical computation. PLoS ONE 6(6), e21414 (2011)","journal-title":"PLoS ONE"},{"key":"4_CR34","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1186\/1748-7188-7-15","volume":"7","author":"S Soliman","year":"2012","unstructured":"Soliman, S.: Invariants and other structural properties of biochemical models as a constraint satisfaction problem. Algorithms Mol. Biol. 7, 15 (2012)","journal-title":"Algorithms Mol. Biol."}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-60327-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T21:45:24Z","timestamp":1619300724000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-60327-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030603267","9783030603274"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-60327-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"29 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMSB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Methods in Systems Biology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Konstanz","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmsb2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cmsb2020.uni-saarland.de\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"73% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}