{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:13:47Z","timestamp":1759637627358},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,2,20]],"date-time":"2008-02-20T00:00:00Z","timestamp":1203465600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1007\/s10485-008-9127-6","type":"journal-article","created":{"date-parts":[[2008,2,19]],"date-time":"2008-02-19T14:17:41Z","timestamp":1203430661000},"page":"389-419","source":"Crossref","is-referenced-by-count":8,"title":["Subobject Transformation Systems"],"prefix":"10.1007","volume":"16","author":[{"given":"Andrea","family":"Corradini","sequence":"first","affiliation":[]},{"given":"Frank","family":"Hermann","sequence":"additional","affiliation":[]},{"given":"Pawe\u0142","family":"Soboci\u0144ski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,2,20]]},"reference":[{"key":"9127_CR1","unstructured":"Baldan, P.: Modelling concurrent computations: from contextual Petri nets to graph grammars. PhD dissertation, Department of Computer Science, University of Pisa, March. Available as technical report no. TD-1\/00 (2000)"},{"key":"9127_CR2","doi-asserted-by":"crossref","unstructured":"Baldan, P., Corradini, A., Heindel, T., K\u00f6nig, B., Soboci\u0144ski, P.: Processes for adhesive rewriting systems. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FoSSaCS, vol. 3921 of Lecture Notes in Computer Science, pp. 202\u2013216. Springer Verlag (2006)","DOI":"10.1007\/11690634_14"},{"key":"9127_CR3","doi-asserted-by":"crossref","unstructured":"Baldan, P., Corradini, A., Montanari, U.: Concatenable graph processes: relating processes and derivation traces. In: Proc. of ICALP\u201998, vol. 1443 of Lecture Notes in Computer Science, pp. 283\u2013295. Springer Verlag (1998)","DOI":"10.1007\/BFb0055061"},{"key":"9127_CR4","doi-asserted-by":"crossref","unstructured":"Baldan, P., Corradini, A., Montanari, U.: Unfolding of double-pushout graph grammars is a coreflection. In: Ehrig, G., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.) Proceedings of the International Workshop on Theory and Application of Graph Transformations, vol. 1764 of Lecture Notes in Computer Science, pp. 145\u2013163. Springer Verlag (1999)","DOI":"10.1007\/978-3-540-46464-8_11"},{"key":"9127_CR5","doi-asserted-by":"crossref","unstructured":"Baldan, P., K\u00f6nig, B., St\u00fcrmer, I.: Generating test cases for code generators by unfolding graph transformation systems. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT\u201904, vol. 3256 of Lecture Notes in Computer Science, pp. 194\u2013209. Springer Verlag (2004)","DOI":"10.1007\/978-3-540-30203-2_15"},{"key":"9127_CR6","doi-asserted-by":"crossref","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\u201906, vol. 4178 of Lecture Notes in Computer Science, pp. 30\u201345. Springer Verlag (2006)","DOI":"10.1007\/11841883_4"},{"key":"9127_CR7","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","volume":"26","author":"A. Corradini","year":"1996","unstructured":"Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fund. Inform. 26, 241\u2013265 (1996)","journal-title":"Fund. Inform."},{"key":"9127_CR8","doi-asserted-by":"crossref","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic approaches to graph transformation, Part I: basic concepts and double pushout approach. In: Rozenberg [21], Chapter 3 (1997)","DOI":"10.1142\/9789812384720_0003"},{"key":"9127_CR9","doi-asserted-by":"crossref","unstructured":"Danos, V., Krivine, J., Soboci\u0144ski, P.: General reversibility. In: Express \u201906, Electronic Notes in Theoretical Computer Science 175(3), pp. 75\u201386. Elsevier (2007)","DOI":"10.1016\/j.entcs.2006.07.036"},{"key":"9127_CR10","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science. Springer Verlag (2006)"},{"key":"9127_CR11","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic approaches to graph transformation II: single pushout approach and comparison with double pushout approach. In: Rozenberg [21], Chapter 4 (1997)","DOI":"10.1142\/9789812384720_0004"},{"key":"9127_CR12","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Golz","year":"1983","unstructured":"Golz, U., Reisig, W.: The non-sequential behaviour of Petri nets. Inf. Control 57, 125\u2013147 (1983)","journal-title":"Inf. Control"},{"issue":"3,4","key":"9127_CR13","first-page":"287","volume":"26","author":"A. Habel","year":"1996","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Special issue of Fund. Inform. 26(3,4), 287\u2013313 (1996)","journal-title":"Special issue of Fund. Inform."},{"key":"9127_CR14","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0001-8708(91)90003-P","volume":"88","author":"A. Joyal","year":"1991","unstructured":"Joyal, A., Street, R.: The geometry of tensor calculus. I. Adv. Math. 88, 55\u2013112 (1991)","journal-title":"I. Adv. Math."},{"key":"9127_CR15","unstructured":"Kreowski, H.-J.: Manipulation von Graphmanipulationen. PhD thesis, Technische Universit\u00e4t Berlin (1977)"},{"issue":"2","key":"9127_CR16","doi-asserted-by":"crossref","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. Theor. Inf. Appl. 39(2), 511\u2013546 (2005)","journal-title":"Theor. Inf. Appl."},{"key":"9127_CR17","doi-asserted-by":"crossref","unstructured":"Leinster, T.: Higher Operads, Higher Categories. London Mathematical Lecture Notes. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511525896"},{"key":"9127_CR18","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"Meseguer, J., Montanari, U.: Petri nets are monoids. Inform. and Comput. 88, 105\u2013155 (1990)","journal-title":"Inform. and Comput."},{"key":"9127_CR19","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Petri Nets: An Introduction. EACTS Monographs on Theoretical Computer Science. Springer Verlag (1985)","DOI":"10.1007\/978-3-642-69968-9"},{"key":"9127_CR20","unstructured":"Ribeiro, L.: Parallel Composition and Unfolding Semantics of Graph Grammars. PhD thesis, Technische Universit\u00e4t Berlin (1996)"},{"key":"9127_CR21","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1: Foundations. World Scientific (1997)","DOI":"10.1142\/9789812384720"},{"key":"9127_CR22","doi-asserted-by":"crossref","unstructured":"Rozenberg, G., Engelfriet, J.: Elementary net systems. In: Reisig, W., Rozenberg, G. (eds.) Lectures on Petri Nets I: Basic Models, vol. 1491 of Lecture Notes in Computer Science, pp. 12\u2013121. Springer Verlag (1996)","DOI":"10.1007\/3-540-65306-6_14"},{"key":"9127_CR23","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/BF00872948","volume":"3","author":"R. Street","year":"1995","unstructured":"Street, R.: Higher categories, strings, cubes and simplex equations. Appl. Categ. Structures. 3, 29\u201377 (1995)","journal-title":"Appl. Categ. Structures."},{"key":"9127_CR24","doi-asserted-by":"crossref","unstructured":"Winskel, G.: Event structures. In: Petri Nets: Applications and Relationships to Other Models of Concurrency, vol. 255 of Lecture Notes in Computer Science, pp. 325\u2013392. Springer Verlag (1987)","DOI":"10.1007\/3-540-17906-2_31"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-008-9127-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-008-9127-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-008-9127-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,2]],"date-time":"2020-05-02T02:50:51Z","timestamp":1588387851000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-008-9127-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,2,20]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["9127"],"URL":"https:\/\/doi.org\/10.1007\/s10485-008-9127-6","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,2,20]]}}}