{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:05:10Z","timestamp":1762459510371,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319614694"},{"type":"electronic","value":"9783319614700"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","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":[[2017]]},"DOI":"10.1007\/978-3-319-61470-0_2","type":"book-chapter","created":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T09:54:59Z","timestamp":1497952499000},"page":"20-35","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Hierarchical Graph Transformation Revisited"],"prefix":"10.1007","author":[{"given":"Julia","family":"Padberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,21]]},"reference":[{"key":"2_CR1","unstructured":"Adamek, J.: Introduction to coalgebra. Theor. Appl. Categories 14, 157\u2013199 (2005). http:\/\/www.tac.mta.ca\/tac\/volumes\/14\/8\/14-08abs.html"},{"key":"2_CR2","unstructured":"AGG: The attributed graph grammar system (2014). http:\/\/user.cs.tu-berlin.de\/~gragra\/agg\/, revision: 10\/29\/2014 16:43:00"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Benford, S., Calder, M., Rodden, T., Sevegnani, M.: On lions, impala, and bigraphs: Modelling interactions in physical\/virtual spaces. ACM Trans. Comput. Hum. Interact. 23(2), 9: 1\u20139: 56 (2016). http:\/\/doi.acm.org\/10.1145\/2882784(2016)","DOI":"10.1145\/2882784"},{"key":"2_CR4","unstructured":"Bruni, R., Corradini, A., Montanari, U.: Modeling a service and session calculus with hierarchical graph transformation. ECEASST 30 (2010). http:\/\/journal.ub.tu-berlin.de\/index.php\/eceasst\/article\/view\/427"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Bruni, R., Montanari, U., Plotkin, G.D., Terreni, D.: On hierarchical graphs: reconciling bigraphs, Gs-monoidal theories and Gs-graphs. Fundam. Inform. 134(3\u20134), 287\u2013317 (2014). http:\/\/dx.doi.org\/10.3233\/FI-2014-1103","DOI":"10.3233\/FI-2014-1103"},{"key":"2_CR6","unstructured":"Busatto, G.: An abstract model of hierarchical graphs and hierarchical graph transformation. Ph.D. thesis, University of Paderborn, Germany (2002). http:\/\/ubdata.uni-paderborn.de\/ediss\/17\/2002\/busatto\/disserta.pdf"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Busatto, G., Hoffmann, B.: Comparing notions of hierarchical graph transformation. Electr. Notes Theor. Comput. Sci. 50(3), 310\u2013317 (2001). http:\/\/dx.doi.org\/10.1016\/S1571-0661(04)00184--7","DOI":"10.1016\/S1571-0661(04)00184-7"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Busatto, G., Kreowski, H., Kuske, S.: Abstract hierarchical graph transformation. Math. Struct. Comput. Sci. 15(4), 773\u2013819 (2005). http:\/\/dx.doi.org\/10.1017\/S0960129505004846","DOI":"10.1017\/S0960129505004846"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Drewes, F., Hoffmann, B., Plump, D.: Hierarchical graph transformation. J. Comput. Syst. Sci. 64(2), 249\u2013283 (2002). http:\/\/dx.doi.org\/10.1006\/jcss.2001.1790","DOI":"10.1006\/jcss.2001.1790"},{"key":"2_CR10","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in TCS. Springer (2006)"},{"key":"2_CR11","first-page":"72","volume":"78","author":"H Ehrig","year":"2002","unstructured":"Ehrig, H.: Bigraphs meet double pushouts. Bull. ATCS 78, 72\u201385 (2002)","journal-title":"Bull. ATCS"},{"key":"2_CR12","first-page":"111","volume":"102","author":"H Ehrig","year":"2010","unstructured":"Ehrig, H., Golas, U., Hermann, F.: Categorical frameworks for graph transformation and HLR systems based on the DPO approach. Bull. EATCS 102, 111\u2013121 (2010)","journal-title":"Bull. EATCS"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Engels, G., Sch\u00fcrr, A.: Encapsulated hierarchical graphs, graph types, and meta types. Electr. Notes Theor. Comput. Sci. 2, 101\u2013109 (1995). http:\/\/dx.doi.org\/10.1016\/S1571-0661(05)80186--0","DOI":"10.1016\/S1571-0661(05)80186-0"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Ermel, C., Rudolf, M., Taentzer, G.: The agg approach: language and environment. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, pp. 551\u2013603. World Scientific Publishing Co., Inc. (1999). http:\/\/dl.acm.org\/citation.cfm?id=328523.328619","DOI":"10.1142\/9789812815149_0014"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-64299-4_36","volume-title":"Recent Trends in Algebraic Development Techniques","author":"F Gadducci","year":"1998","unstructured":"Gadducci, F., Heckel, R.: An inductive view of graph transformation. In: Presicce, F.P. (ed.) WADT 1997. LNCS, vol. 1376, pp. 223\u2013237. Springer, Heidelberg (1998). doi:10.1007\/3-540-64299-4_36"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Gassara, A., Rodriguez, I.B., Jmaiel, M., Drira, K.: Encoding bigraphical reactive systems into graph transformation systems. Electron. Notes Discrete Math. 55, 207\u2013210 (2016). http:\/\/dx.doi.org\/10.1016\/j.endm.2016.10.051","DOI":"10.1016\/j.endm.2016.10.051"},{"key":"2_CR17","unstructured":"J\u00e4kel, C.: A unified categorical approach to graphs (2015). https:\/\/arxiv.org\/abs\/1507.06328"},{"key":"2_CR18","unstructured":"J\u00e4kel, C.: A coalgebraic model of graphs (2016). https:\/\/arxiv.org\/abs\/1508.02169"},{"key":"2_CR19","unstructured":"Junghanns, M., Petermann, A., Rahm, E.: Distributed grouping of property graphs with gradoop. In: Proceedings of the 17. Fachtagung, Datenbanksysteme f\u00fcr Business, Technologie und Web. LNI, GI (2017) (to be published)"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-662-44124-4_9","volume-title":"Coalgebraic Methods in Computer Science","author":"W Kahl","year":"2014","unstructured":"Kahl, W.: Categories of coalgebras with monadic homomorphisms. In: Bonsangue, M.M. (ed.) CMCS 2014 2014. LNCS, vol. 8446, pp. 151\u2013167. Springer, Heidelberg (2014). doi:10.1007\/978-3-662-44124-4_9"},{"key":"2_CR21","unstructured":"Kahl, W.: Graph transformation with symbolic attributes via monadic coalgebra homomorphisms. ECEASST 71 (2014). http:\/\/journal.ub.tu-berlin.de\/eceasst\/article\/view\/999"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Milner, R.: Pure bigraphs: structure and dynamics. Inf. Comput. 204(1), 60\u2013122 (2006). http:\/\/dx.doi.org\/10.1016\/j.ic.2005.07.003","DOI":"10.1016\/j.ic.2005.07.003"},{"key":"2_CR23","unstructured":"Padberg, J.: Towards $$\\cal{M}$$-adhesive categories of coalgebraic graphs. Technical report, ArXiv e-prints (2017). https:\/\/arxiv.org\/abs\/1702.04650"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Palacz, W.: Algebraic hierarchical graph transformation. J. Comput. Syst. Sci. 68(3), 497\u2013520 (2004). http:\/\/dx.doi.org\/10.1016\/S0022-0000(03)00064--3","DOI":"10.1016\/S0022-0000(03)00064-3"},{"issue":"3","key":"2_CR25","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/s10485-007-9106-3","volume":"16","author":"U Prange","year":"2008","unstructured":"Prange, U., Ehrig, H., Lambers, L.: Construction and properties of adhesive and weak adhesive high-level replacement categories. Appl. Categorical Struct. 16(3), 365\u2013388 (2008)","journal-title":"Appl. Categorical Struct."},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Rutten, J.: Universal coalgebra: a theory of systems. Theor. Comput. Sci. 249(1), 3\u201380 (2000). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0304397500000566","DOI":"10.1016\/S0304-3975(00)00056-6"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Schneider, H.J.: Describing systems of processes by means of high-level replacement. In: Handbook of Graph Grammars and Computing by Graph Transformation, vol. 3, pp. 401\u2013450. World Scientific (1999)","DOI":"10.1142\/9789812814951_0007"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Sevegnani, M., Calder, M.: Bigraphs with sharing. Theor. Comput. Sci. 577, 43\u201373 (2015). http:\/\/dx.doi.org\/10.1016\/j.tcs.2015.02.011","DOI":"10.1016\/j.tcs.2015.02.011"},{"key":"2_CR29","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/j.autcon.2016.11.008","volume":"74","author":"G \u015alusarczyk","year":"2017","unstructured":"\u015alusarczyk, G., \u0141achwa, A., Palacz, W., Strug, B., Paszy\u0144ska, A., Grabska, E.: An extended hierarchical graph-based building model for design and engineering problems. Autom. Const. 74, 95\u2013102 (2017)","journal-title":"Autom. Const."},{"key":"2_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-642-33024-7_17","volume-title":"Geographic Information Science","author":"LA Walton","year":"2012","unstructured":"Walton, L.A., Worboys, M.: A qualitative bigraph model for indoor space. In: Xiao, N., Kwan, M.-P., Goodchild, M.F., Shekhar, S. (eds.) GIScience 2012. LNCS, vol. 7478, pp. 226\u2013240. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-33024-7_17"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Worboys, M.F.: Using bigraphs to model topological graphs embedded in orientable surfaces. Theor. Comput. Sci. 484, 56\u201369 (2013). http:\/\/dx.doi.org\/10.1016\/j.tcs.2013.02.018","DOI":"10.1016\/j.tcs.2013.02.018"}],"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-319-61470-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T10:51:09Z","timestamp":1710327069000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-61470-0_2"}},"subtitle":["Transformations of Coalgebraic Graphs"],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319614694","9783319614700"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61470-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"21 June 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}