{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:16:39Z","timestamp":1759637799439,"version":"3.40.3"},"publisher-location":"Cham","reference-count":45,"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_1","type":"book-chapter","created":{"date-parts":[[2020,9,30]],"date-time":"2020-09-30T22:38:31Z","timestamp":1601505511000},"page":"3-26","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Rate Equations for Graphs"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Danos","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3371-8564","authenticated-orcid":false,"given":"Tobias","family":"Heindel","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4396-9762","authenticated-orcid":false,"given":"Ricardo","family":"Honorato-Zimmer","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5608-8273","authenticated-orcid":false,"given":"Sandro","family":"Stucki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,9,29]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","unstructured":"Anderson, W.J.: Continuous-Time Markov Chains: An Applications-Oriented Approach. Springer, New York (2012). https:\/\/doi.org\/10.1007\/978-1-4612-3038-0","DOI":"10.1007\/978-1-4612-3038-0"},{"key":"1_CR2","unstructured":"Baldan, P., Corradini, A., Heindel, T., K\u00f6nig, B., Sobocinski, P.: Processes and unfoldings: concurrent computations in adhesive categories. Math. Struct. Comput. Sci. 24, 56\u2013103 (2014)"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"21","DOI":"10.14279\/tuj.eceasst.30.431.405","volume":"30","author":"M Bapodra","year":"2010","unstructured":"Bapodra, M., Heckel, R.: From graph transformations to differential equations. ECEASST 30, 21 (2010). https:\/\/doi.org\/10.14279\/tuj.eceasst.30.431.405","journal-title":"ECEASST"},{"key":"1_CR4","unstructured":"Barr, M., Wells, C.: Category theory for computing science, 2 ed., Prentice Hall International Series in Computer Science, Prentice Hall (1995)"},{"key":"1_CR5","doi-asserted-by":"publisher","unstructured":"Behr, N., Danos, V., Garnier, I.: Stochastic mechanics of graph rewriting. In: Proceedings 31st Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2016, New York, pp. 46\u201355. ACM (2016). https:\/\/doi.org\/10.1145\/2933575.2934537. ISBN 9781450343916","DOI":"10.1145\/2933575.2934537"},{"key":"1_CR6","unstructured":"Behr, N., Sobocinski, P.: Rule algebras for adhesive categories. Log. Methods Comput. Sci. 16(3) (2020). https:\/\/lmcs.episciences.org\/6628"},{"key":"1_CR7","unstructured":"Behr, N., Danos, V., Garnier, I.: Combinatorial conversion and moment bisimulation for stochastic rewriting systems. Log. Methods Comput. Sci. 16(3) (2020). https:\/\/lmcs.episciences.org\/6628"},{"key":"1_CR8","unstructured":"Behr, N., Krivine, J.: Compositionality of rewriting rules with conditions. CoRR arXiv:1904.09322 (2019)"},{"key":"1_CR9","doi-asserted-by":"publisher","unstructured":"Behr, N., Krivine, J.: Rewriting theory for the life sciences: a unifying framework for CTMC semantics. In: Gadducci, F., Kehrer, T. (eds.) Proceedings Graph Transformation, 13th International Conference, ICGT 2020. LNCS, vol. 12150. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-51372-6_11","DOI":"10.1007\/978-3-030-51372-6_11"},{"key":"1_CR10","doi-asserted-by":"publisher","unstructured":"Behr, N.: Sesqui-pushout rewriting: concurrency, associativity and rule algebra framework. Electron. Proc. Theoret. Comput. Sci. 309, 23\u201352 (2019). https:\/\/doi.org\/10.4204\/eptcs.309.2. ISSN 2075-2180","DOI":"10.4204\/eptcs.309.2"},{"key":"1_CR11","unstructured":"Behr, N., Danos, V., Garnier, I., Heindel, T.: The algebras of graph rewriting. CoRR arXiv:1612.06240 (2016)"},{"key":"1_CR12","unstructured":"Behr, N., Saadat, M.G., Heckel, R.: Commutators for stochastic rewriting systems: theory and implementation in Z3. CoRR arXiv:2003.11010 (2020)"},{"issue":"5","key":"1_CR13","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/j.peva.2013.01.001","volume":"70","author":"L Bortolussi","year":"2013","unstructured":"Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective system behaviour: a tutorial. Performance Eval. 70(5), 317\u2013349 (2013)","journal-title":"Performance Eval."},{"key":"1_CR14","doi-asserted-by":"publisher","unstructured":"Corradini, A., Heindel, T., Hermann, F., K\u00f6nig, B.: Sesqui-pushout rewriting. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 30\u201345. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11841883_4","DOI":"10.1007\/11841883_4"},{"key":"1_CR15","unstructured":"Danos, V., Harmer, R., Honorato-Zimmer, R., Stucki, S.: Deriving rate equations for site graph rewriting systems. In: Proceedings 4th International Workshop on Static Analysis and Systems Biology (SASB 2013). Seattle, WA, USA (2013), (to appear)"},{"key":"1_CR16","doi-asserted-by":"publisher","unstructured":"Danos, V., Heindel, T., Garnier, I., Simonsen, J.G.: Computing continuous-time markov chains as transformers of unbounded observables. In: Esparza, J., Murawski, A.S. (eds.) FoSSaCS 2017. LNCS, vol. 10203, pp. 338\u2013354. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54458-7_20","DOI":"10.1007\/978-3-662-54458-7_20"},{"key":"1_CR17","doi-asserted-by":"publisher","unstructured":"Danos, V., Heindel, T., Honorato-Zimmer, R., Stucki, S.: Approximations for stochastic graph\u00a0rewriting. In: Merz, S., Pang, J. (eds.) ICFEM 2014. LNCS, vol. 8829, pp. 1\u201310. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11737-9_1","DOI":"10.1007\/978-3-319-11737-9_1"},{"key":"1_CR18","doi-asserted-by":"publisher","unstructured":"Danos, V., Heindel, T., Honorato-Zimmer, R., Stucki, S.: Moment semantics for reversible rule-based systems. In: Krivine, J., Stefani, J.-B. (eds.) RC 2015. LNCS, vol. 9138, pp. 3\u201326. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-20860-2_1","DOI":"10.1007\/978-3-319-20860-2_1"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Danos, V., Honorato-Zimmer, R., Jaramillo-Riveri, S., Stucki, S.: Coarse-graining the dynamics of ideal branched polymers. In: Proceedings 3rd International Workshop on Static Analysis and Systems Biology (SASB 2012). ENTCS, vol. 313, pp. 47\u201364 (2015)","DOI":"10.1016\/j.entcs.2015.04.018"},{"issue":"10","key":"1_CR20","doi-asserted-by":"publisher","first-page":"3682","DOI":"10.1073\/pnas.1200709109","volume":"109","author":"R Durrett","year":"2012","unstructured":"Durrett, R., et al.: Graph fission in an evolving voter model. Proc. Nat. Acad. Sci. 109(10), 3682\u20133687 (2012)","journal-title":"Proc. Nat. Acad. Sci."},{"issue":"1\u20132","key":"1_CR21","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0022-4049(87)90124-1","volume":"49","author":"R Dyckhoff","year":"1987","unstructured":"Dyckhoff, R., Tholen, W.: Exponentiable morphisms, partial products and pullback complements. J. Pure Appl. Algebra 49(1\u20132), 103\u2013116 (1987)","journal-title":"J. Pure Appl. Algebra"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Ehrig, H., et al.: Algebraic approaches to graph transformation. Part II: Single pushout approach and comparison with double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, pp. 247\u2013312. World Scientific, River Edge, NJ, USA (1997)","DOI":"10.1142\/9789812384720_0004"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Ethier, S.N., Kurtz, T.G.: Markov Processes: Characterization and Convergence. Wiley (1986)","DOI":"10.1002\/9780470316658"},{"issue":"2","key":"1_CR24","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/s10955-009-9696-2","volume":"135","author":"MR Evans","year":"2009","unstructured":"Evans, M.R., Ferrari, P.A., Mallick, K.: Matrix representation of the stationary measure for the multispecies TASEP. J. Stat. Phys. 135(2), 217\u2013239 (2009)","journal-title":"J. Stat. Phys."},{"key":"1_CR25","doi-asserted-by":"publisher","unstructured":"Fages, F., Soliman, S.: Formal cell biology in biocham. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 54\u201380. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68894-5_3","DOI":"10.1007\/978-3-540-68894-5_3"},{"issue":"16","key":"1_CR26","doi-asserted-by":"publisher","first-page":"6453","DOI":"10.1073\/pnas.0809908106","volume":"106","author":"J Feret","year":"2009","unstructured":"Feret, J., Danos, V., Harmer, R., Krivine, J., Fontana, W.: Internal coarse-graining of molecular systems. PNAS 106(16), 6453\u20138 (2009)","journal-title":"PNAS"},{"issue":"6","key":"1_CR27","doi-asserted-by":"publisher","first-page":"068701","DOI":"10.1103\/PhysRevLett.107.068701","volume":"107","author":"JP Gleeson","year":"2011","unstructured":"Gleeson, J.P.: High-accuracy approximation of binary-state dynamics on networks. Phys. Rev. Lett. 107(6), 068701 (2011)","journal-title":"Phys. Rev. Lett."},{"issue":"8","key":"1_CR28","doi-asserted-by":"publisher","first-page":"084103","DOI":"10.1063\/1.3625958","volume":"135","author":"R Grima","year":"2011","unstructured":"Grima, R., Thomas, P., Straube, A.V.: How accurate are the nonlinear chemical Fokker-Planck and chemical Langevin equations? J. Chem. Phys. 135(8), 084103 (2011)","journal-title":"J. Chem. Phys."},{"issue":"2","key":"1_CR29","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0960129508007202","volume":"19","author":"A Habel","year":"2009","unstructured":"Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions. Math. Struct. Comput. Sci. 19(2), 245\u2013296 (2009)","journal-title":"Math. Struct. Comput. Sci."},{"key":"1_CR30","doi-asserted-by":"publisher","unstructured":"Harmer, R., Danos, V., Feret, J., Krivine, J., Fontana, W.: Intrinsic information carriers in combinatorial dynamical systems. Chaos 20(3), 037108-1\u2013037108-16 (2010). https:\/\/doi.org\/10.1063\/1.3491100","DOI":"10.1063\/1.3491100"},{"key":"1_CR31","doi-asserted-by":"publisher","unstructured":"Hayman, J., Heindel, T.: Pattern graphs and rule-based models: the semantics of kappa. In: Pfenning, F. (ed.) FoSSaCS 2013. LNCS, vol. 7794, pp. 1\u201316. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-37075-5_1","DOI":"10.1007\/978-3-642-37075-5_1"},{"key":"1_CR32","doi-asserted-by":"publisher","unstructured":"Heckel, R.: DPO transformation with open maps. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol. 7562, pp. 203\u2013217. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33654-6_14","DOI":"10.1007\/978-3-642-33654-6_14"},{"issue":"1","key":"1_CR33","first-page":"63","volume":"74","author":"R Heckel","year":"2006","unstructured":"Heckel, R., Lajios, G., Menge, S.: Stochastic graph transformation systems. Fundam. Inform. 74(1), 63\u201384 (2006)","journal-title":"Fundam. Inform."},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"van Kampen, N.: Stochastic Processes in Physics and Chemistry. North-Holland, 3rd edition (2007)","DOI":"10.1016\/B978-044452965-7\/50006-4"},{"issue":"3","key":"1_CR35","first-page":"511","volume":"39","author":"S Lack","year":"2005","unstructured":"Lack, S., Soboci\u0144ski, P.: Adhesive and quasiadhesive categories. ITA 39(3), 511\u2013545 (2005)","journal-title":"ITA"},{"key":"1_CR36","unstructured":"Lopez, C.F., Muhlich, J.L., Bachman, J.A., Sorger, P.K.: Programming biological models in Python using PySB. Molecular Syst. Biol. 9(1), 602\u2013625 (2013)"},{"issue":"1&2","key":"1_CR37","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M L\u00f6we","year":"1993","unstructured":"L\u00f6we, M.: Algebraic approach to single-pushout graph transformation. Theor. Comput. Sci. 109(1&2), 181\u2013224 (1993)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR38","doi-asserted-by":"publisher","unstructured":"L\u00f6we, M.: Graph rewriting in span-categories. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol. 6372, pp. 218\u2013233. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15928-2_15","DOI":"10.1007\/978-3-642-15928-2_15"},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"Lynch, J.F.: A logical characterization of individual-based models. In: Logic in Computer Science, 2008. In: 23rd Annual IEEE Symposium on LICS 2008, pp. 379\u2013390. IEEE (2008)","DOI":"10.1109\/LICS.2008.27"},{"key":"1_CR40","doi-asserted-by":"publisher","unstructured":"Kulik, R., Soulier, P.: Markov chains. Heavy-Tailed Time Series. SSORFE, pp. 373\u2013423. Springer, New York (2020). https:\/\/doi.org\/10.1007\/978-1-0716-0737-4_14","DOI":"10.1007\/978-1-0716-0737-4_14"},{"key":"1_CR41","doi-asserted-by":"publisher","unstructured":"Rensink, A.: Representing first-order logic using graphs. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 319\u2013335. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30203-2_23","DOI":"10.1007\/978-3-540-30203-2_23"},{"issue":"2","key":"1_CR42","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0890-5401(88)90034-X","volume":"79","author":"E Robinson","year":"1988","unstructured":"Robinson, E., Rosolini, G.: Categories of partial maps. Inf. Comput. 79(2), 95\u2013130 (1988)","journal-title":"Inf. Comput."},{"key":"1_CR43","doi-asserted-by":"publisher","unstructured":"Spieksma, F.M.: Kolmogorov forward equation and explosiveness in countable state Markov processes. Ann. Oper. Res. 2012, 3\u201322 (2012). https:\/\/doi.org\/10.1007\/s10479-012-1262-7","DOI":"10.1007\/s10479-012-1262-7"},{"issue":"23","key":"1_CR44","doi-asserted-by":"publisher","first-page":"238101","DOI":"10.1103\/PhysRevLett.94.238101","volume":"94","author":"EB Stukalin","year":"2005","unstructured":"Stukalin, E.B., Phillips III, H., Kolomeisky, A.B.: Coupling of two motor proteins: a new motor can move faster. Phys. Rev. Lett. 94(23), 238101 (2005)","journal-title":"Phys. Rev. Lett."},{"issue":"6","key":"1_CR45","doi-asserted-by":"publisher","first-page":"e38518","DOI":"10.1371\/journal.pone.0038518","volume":"7","author":"P Thomas","year":"2012","unstructured":"Thomas, P., Matuschek, H., Grima, R.: Intrinsic noise analyzer: a software package for the exploration of stochastic biochemical kinetics using the system size expansion. PLoS ONE 7(6), e38518 (2012)","journal-title":"PLoS ONE"}],"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_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T12:30:20Z","timestamp":1619267420000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-60327-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030603267","9783030603274"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-60327-4_1","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)"}}]}}