{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:57:38Z","timestamp":1762459058868},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642370748"},{"type":"electronic","value":"9783642370755"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37075-5_1","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T19:37:23Z","timestamp":1361216243000},"page":"1-16","source":"Crossref","is-referenced-by-count":9,"title":["Pattern Graphs and Rule-Based Models: The Semantics of Kappa"],"prefix":"10.1007","author":[{"given":"Jonathan","family":"Hayman","sequence":"first","affiliation":[]},{"given":"Tobias","family":"Heindel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"1_CR1","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1038\/nmeth0211-130","volume":"8","author":"J.A. Bachman","year":"2011","unstructured":"Bachman, J.A., Sorger, P.: New approaches to modeling complex biochemistry. Nature Methods\u00a08(2), 130\u2013131 (2011)","journal-title":"Nature Methods"},{"key":"1_CR2","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/11905455_5","volume-title":"Transactions on Computational Systems Biology VII","author":"M.L. Blinov","year":"2006","unstructured":"Blinov, M.L., Yang, J., Faeder, J.R., Hlavacek, W.S.: Graph Theory for Rule-Based Modeling of Biochemical Networks. In: Priami, C., Ing\u00f3lfsd\u00f3ttir, A., Mishra, B., Riis Nielson, H. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol.\u00a04230, pp. 89\u2013106. Springer, Heidelberg (2006)"},{"key":"1_CR3","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.) ICGT 2006. LNCS, vol.\u00a04178, pp. 30\u201345. Springer, Heidelberg (2006)"},{"key":"1_CR4","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Hayman, J., Krivine, J., Thompson-Walsh, C., Winskel, G.: Graphs, rewriting and pathway reconstruction for rule-based models. In: Proc.\u00a0FSTTCS 2012. LIPICs (2012)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Danos, V., Harmer, R., Winskel, G.: Constraining rule-based dynamics with types. MSCS (2012)","DOI":"10.1017\/S0960129512000114"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. TCS\u00a0325 (2004)","DOI":"10.1016\/j.tcs.2004.03.065"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-3-540-31847-7_17","volume-title":"Formal Methods (Ehrig Festschrift)","author":"A. Habel","year":"2005","unstructured":"Habel, A., Pennemann, K.-H.: Nested Constraints and Application Conditions for High-Level Structures. In: Kreowski, H.-J., Montanari, U., Yu, Y., Rozenberg, G., Taentzer, G. (eds.) Formal Methods in Software and Systems Modeling. LNCS, vol.\u00a03393, pp. 293\u2013308. Springer, Heidelberg (2005)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Hayman, J., Thompson-Walsh, C., Winskel, G.: Simple containment structures in rule-based modelling of biochemical systems. In: Proc. SASB (2011)","DOI":"10.1016\/j.entcs.2012.05.019"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-642-33654-6_14","volume-title":"Graph Transformations","author":"R. Heckel","year":"2012","unstructured":"Heckel, R.: DPO Transformation with Open Maps. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol.\u00a07562, pp. 203\u2013217. Springer, Heidelberg (2012)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"L\u00f6we, M.: Algebraic approach to single-pushout graph transformation. TCS\u00a0109 (1993)","DOI":"10.1016\/0304-3975(93)90068-5"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-642-33654-6_8","volume-title":"Graph Transformations","author":"M. L\u00f6we","year":"2012","unstructured":"L\u00f6we, M.: Refined Graph Rewriting in Span-Categories. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol.\u00a07562, pp. 111\u2013125. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37075-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,8]],"date-time":"2022-02-08T22:08:14Z","timestamp":1644358094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37075-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642370748","9783642370755"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37075-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}