{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:11:35Z","timestamp":1762459895341,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030513719"},{"type":"electronic","value":"9783030513726"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-51372-6_11","type":"book-chapter","created":{"date-parts":[[2020,6,25]],"date-time":"2020-06-25T00:15:38Z","timestamp":1593044138000},"page":"185-202","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8738-5040","authenticated-orcid":false,"given":"Nicolas","family":"Behr","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7261-7462","authenticated-orcid":false,"given":"Jean","family":"Krivine","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,6,23]]},"reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-319-40530-8_5","volume-title":"Graph Transformation","author":"JL Andersen","year":"2016","unstructured":"Andersen, J.L., Flamm, C., Merkle, D., Stadler, P.F.: A software package for chemically inspired graph transformation. In: Echahed, R., Minas, M. (eds.) ICGT 2016. LNCS, vol. 9761, pp. 73\u201388. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-40530-8_5"},{"issue":"2109","key":"11_CR2","doi-asserted-by":"publisher","first-page":"20160354","DOI":"10.1098\/rsta.2016.0354","volume":"375","author":"JL Andersen","year":"2017","unstructured":"Andersen, J.L., Flamm, C., Merkle, D., Stadler, P.F.: An intermediate level of abstraction for computational systems chemistry. Philos. Trans. R. Soc. A: Math. Phys. Eng. Sci. 375(2109), 20160354 (2017). https:\/\/doi.org\/10.1098\/rsta.2016.0354","journal-title":"Philos. Trans. R. Soc. A: Math. Phys. Eng. Sci."},{"issue":"3","key":"11_CR3","first-page":"661","volume":"80","author":"JL Andersen","year":"2018","unstructured":"Andersen, J.L., Flamm, C., Merkle, D., Stadler, P.F.: Rule composition in graph transformation models of chemical reactions. Match 80(3), 661\u2013704 (2018)","journal-title":"Match"},{"key":"11_CR4","doi-asserted-by":"publisher","unstructured":"Behr, N.: Sesqui-pushout rewriting: concurrency, associativity and rule algebra framework. In: Echahed, R., Plump, D. (eds.) Proceedings of the Tenth International Workshop on Graph Computation Models (GCM 2019) in Eindhoven, The Netherlands. Electronic Proceedings in Theoretical Computer Science, vol. 309, pp. 23\u201352. Open Publishing Association (2019). https:\/\/doi.org\/10.4204\/eptcs.309.2","DOI":"10.4204\/eptcs.309.2"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Behr, N.: Tracelets and tracelet analysis of compositional rewriting systems (accepted for ACT2019 in Oxford). arXiv:1904.12829 (2019)","DOI":"10.4204\/EPTCS.323.4"},{"key":"11_CR6","doi-asserted-by":"publisher","unstructured":"Behr, N., Danos, V., Garnier, I.: Stochastic mechanics of graph rewriting. In: Proceedings of the 31st Annual ACM\/IEEE Symposium on Logic in Computer Science - LICS 2016. ACM Press (2016). https:\/\/doi.org\/10.1145\/2933575.2934537","DOI":"10.1145\/2933575.2934537"},{"key":"11_CR7","unstructured":"Behr, N., Danos, V., Garnier, I.: Combinatorial conversion and moment bisimulation for stochastic rewriting systems. arXiv:1904.07313 (2019)"},{"key":"11_CR8","unstructured":"Behr, N., Krivine, J.: Compositionality of rewriting rules with conditions. arXiv:1904.09322 (2019)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Behr, N., Krivine, J.: Rewriting theory for the life sciences: a unifying theory of CTMC semantics (extended version). arXiv:2003.09395 (2020)","DOI":"10.1007\/978-3-030-51372-6_11"},{"key":"11_CR10","doi-asserted-by":"publisher","unstructured":"Behr, N., Sobocinski, P.: Rule algebras for adhesive categories. In: Ghica, D., Jung, A. (eds.) 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Leibniz International Proceedings in Informatics (LIPIcs), vol. 119, pp. 11:1\u201311:21. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany (2018). https:\/\/doi.org\/10.4230\/LIPIcs.CSL.2018.11","DOI":"10.4230\/LIPIcs.CSL.2018.11"},{"key":"11_CR11","unstructured":"Behr, N., Sobocinski, P.: Rule algebras for adhesive categories (invited extended journal version). arXiv:1807.00785 (2019)"},{"issue":"13","key":"11_CR12","doi-asserted-by":"publisher","first-page":"i583","DOI":"10.1093\/bioinformatics\/bty272","volume":"34","author":"P Boutillier","year":"2018","unstructured":"Boutillier, P., et al.: The kappa platform for rule-based modeling. Bioinformatics 34(13), i583\u2013i592 (2018). https:\/\/doi.org\/10.1093\/bioinformatics\/bty272","journal-title":"Bioinformatics"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/11841883_4","volume-title":"Graph Transformations","author":"A Corradini","year":"2006","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.) Graph Transformations. Lecture Notes in Computer Science, vol. 4178, pp. 30\u201345. Springer, Berlin and Heidelberg (2006)"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-540-68413-8_8","volume-title":"Formal Methods in Systems Biology","author":"V Danos","year":"2008","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-based modelling, symmetries, refinements. In: Fisher, J. (ed.) FMSB 2008. LNCS, vol. 5054, pp. 103\u2013122. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68413-8_8"},{"key":"11_CR15","doi-asserted-by":"publisher","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Abstracting the differential semantics of rule-based models: exact and automated model reduction. In: 2010 25th Annual IEEE Symposium on Logic in Computer Science. IEEE (2010). https:\/\/doi.org\/10.1109\/lics.2010.44","DOI":"10.1109\/lics.2010.44"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-319-09108-2_10","volume-title":"Graph Transformation","author":"V Danos","year":"2014","unstructured":"Danos, V., Heckel, R., Sobocinski, P.: Transformation and refinement of rigid structures. In: Giese, H., K\u00f6nig, B. (eds.) ICGT 2014. LNCS, vol. 8571, pp. 146\u2013160. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-09108-2_10"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-20860-2_1","volume-title":"Reversible Computation","author":"V Danos","year":"2015","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"},{"issue":"1","key":"11_CR18","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"V Danos","year":"2004","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. Theoret. Comput. Sci. 325(1), 69\u2013110 (2004). https:\/\/doi.org\/10.1016\/j.tcs.2004.03.065","journal-title":"Theoret. Comput. Sci."},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/b107287","volume-title":"Computational Methods in Systems Biology","year":"2005","unstructured":"Danos, V., Schachter, V. (eds.): CMSB 2004. LNCS, vol. 3082. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/b107287"},{"issue":"1","key":"11_CR20","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1063\/1.1750549","volume":"8","author":"M Delbr\u00fcck","year":"1940","unstructured":"Delbr\u00fcck, M.: Statistical fluctuations in autocatalytic reactions. J. Chem. Phys. 8(1), 120\u2013124 (1940). https:\/\/doi.org\/10.1063\/1.1750549","journal-title":"J. Chem. Phys."},{"key":"11_CR21","series-title":"Monographs in Theoretical Computer Science. An EATCS Series","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-31188-2","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. MTCSAES. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-31188-2"},{"issue":"1\u20132","key":"11_CR22","doi-asserted-by":"publisher","first-page":"35","DOI":"10.3233\/FI-2012-705","volume":"118","author":"H Ehrig","year":"2012","unstructured":"Ehrig, H., Golas, U., Habel, A., Lambers, L., Orejas, F.: $$\\cal{M}$$-adhesive transformation systems with nested application conditions. Part 2: embedding, critical pairs and local confluence. Fundamenta Informaticae 118(1\u20132), 35\u201363 (2012). https:\/\/doi.org\/10.3233\/FI-2012-705","journal-title":"Fundamenta Informaticae"},{"key":"11_CR23","doi-asserted-by":"publisher","unstructured":"Ehrig, H., Golas, U., Habel, A., Lambers, L., Orejas, F.: $$\\cal{M}$$-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. Math. Struct. Comput. Sci. 24(04) (2014). https:\/\/doi.org\/10.1017\/s0960129512000357","DOI":"10.1017\/s0960129512000357"},{"key":"11_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-540-30203-2_12","volume-title":"Graph Transformations","author":"H Ehrig","year":"2004","unstructured":"Ehrig, H., Habel, A., Padberg, J., Prange, U.: Adhesive high-level replacement categories and systems. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 144\u2013160. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30203-2_12"},{"issue":"4","key":"11_CR25","first-page":"527","volume":"7","author":"J Feret","year":"2014","unstructured":"Feret, J., Koeppl, H., Petrov, T.: Stochastic fragments: a framework for the exact reduction of the stochastic semantics of rule-based models. Int. J. Softw. Inf. (IJSI) 7(4), 527\u2013604 (2014)","journal-title":"Int. J. Softw. Inf. (IJSI)"},{"key":"11_CR26","doi-asserted-by":"publisher","unstructured":"Gabriel, K., Braatz, B., Ehrig, H., Golas, U.: Finitary $$\\cal{M}$$-adhesive categories. Math. Struct. Comput. Sci. 24(04) (2014). https:\/\/doi.org\/10.1017\/S0960129512000321","DOI":"10.1017\/S0960129512000321"},{"issue":"02","key":"11_CR27","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(02), 245 (2009). https:\/\/doi.org\/10.1017\/s0960129508007202","journal-title":"Math. Struct. Comput. Sci."},{"key":"11_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-33654-6_15","volume-title":"Graph Transformations","author":"A Habel","year":"2012","unstructured":"Habel, A., Plump, D.: $$\\cal{M}, \\cal{N}$$-adhesive transformation systems. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol. 7562, pp. 218\u2013233. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33654-6_15"},{"issue":"3","key":"11_CR29","doi-asserted-by":"publisher","first-page":"037108","DOI":"10.1063\/1.3491100","volume":"20","author":"R Harmer","year":"2010","unstructured":"Harmer, R., Danos, V., Feret, J., Krivine, J., Fontana, W.: Intrinsic information carriers in combinatorial dynamical systems. Chaos: Interdisc. J. Nonlinear Sci. 20(3), 037108 (2010). https:\/\/doi.org\/10.1063\/1.3491100","journal-title":"Chaos: Interdisc. J. Nonlinear Sci."},{"issue":"3","key":"11_CR30","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1051\/ita:2005028","volume":"39","author":"S Lack","year":"2005","unstructured":"Lack, S., Soboci\u0144ski, P.: Adhesive and quasiadhesive categories. RAIRO - Theoret. Inf. Appl. 39(3), 511\u2013545 (2005). https:\/\/doi.org\/10.1051\/ita:2005028","journal-title":"RAIRO - Theoret. Inf. Appl."},{"key":"11_CR31","unstructured":"Padberg, J.: Towards M-adhesive categories based on coalgebras and comma categories. arXiv:1702.04650 (2017)"},{"key":"11_CR32","doi-asserted-by":"publisher","DOI":"10.1002\/0470084960","volume-title":"March\u2019s Advanced Organic Chemistry","author":"MB Smith","year":"2006","unstructured":"Smith, M.B., March, J.: March\u2019s Advanced Organic Chemistry. Wiley, Hoboken (2006). https:\/\/doi.org\/10.1002\/0470084960"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-51372-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T08:55:08Z","timestamp":1710233708000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-51372-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030513719","9783030513726"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-51372-6_11","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":"23 June 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICGT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Graph Transformation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bergen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","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":"25 June 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 June 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icgt2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/av5.ljnet.it\/icgt2020\/","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":"40","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":"16","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":"40% - 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":"5","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":"4 tool presentations were also accepted and included. 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)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}