{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:51Z","timestamp":1761611271941},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672036"},{"type":"electronic","value":"9783540464648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-46464-8_7","type":"book-chapter","created":{"date-parts":[[2010,10,20]],"date-time":"2010-10-20T13:43:10Z","timestamp":1287582190000},"page":"85-102","source":"Crossref","is-referenced-by-count":3,"title":["Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Merc\u00e8","family":"Llabr\u00e9s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Orejas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julia","family":"Padberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grzegorz","family":"Rozenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/3-540-61228-9_77","volume-title":"Graph Grammars and Their Application to Computer Science","author":"M. Bauderon","year":"1996","unstructured":"Bauderon, M.: A category-theoretical approach to vertex replacement: The generation of infinite graphs. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol.\u00a01073, pp. 27\u201337. Springer, Heidelberg (1996)"},{"key":"#cr-split#-7_CR2.1","unstructured":"Bauderon, M., Jacquet, H.: Categorical product as a generic graph rewriting mechanism. Applied Categorical Structures (1999);"},{"key":"#cr-split#-7_CR2.2","unstructured":"To appear. Also Tech. Rep. 1166-97, University of Bordeaux"},{"key":"7_CR3","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 [15], pp. 163\u2013245","DOI":"10.1142\/9789812384720_0003"},{"key":"7_CR4","unstructured":"Ehrig, H., Heckel, R., Llabres, M., Orejas, F.: Basic properties of double pullback graph transitions. Technical Report 99-02, TU Berlin (1999)"},{"key":"7_CR5","unstructured":"Ehrig, H., Heckel, R., Padberg, J., Rozenberg, G.: Graph transformation and other rule-based formalisms with incomplete information. In: Prelim. Proc. 6th Int. Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (1998)"},{"key":"7_CR6","first-page":"106","volume":"62","author":"H. Ehrig","year":"1997","unstructured":"Ehrig, H., Merten, A., Padberg, J.: How to transfer concepts of abstract data types to petri nets? EATCS Bulletin\u00a062, 106\u2013114 (1997)","journal-title":"EATCS Bulletin"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Engelfriet, J., Rozenberg, G.: Node replacement graph grammars. In: Rozenberg [15], pp. 1\u201394","DOI":"10.1142\/9789812384720_0001"},{"issue":"4","key":"7_CR8","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1142\/S0218194097000266","volume":"7","author":"G. Engels","year":"1997","unstructured":"Engels, G., Heckel, R., Taentzer, G., Ehrig, H.: A combined reference modeland view-based approach to system specification. Int. Journal of Software and Knowledge Engeneering\u00a07(4), 457\u2013477 (1997)","journal-title":"Int. Journal of Software and Knowledge Engeneering"},{"key":"7_CR9","unstructured":"Heckel, R.: Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems. PhD thesis, TU Berlin (1998)"},{"key":"#cr-split#-7_CR10.1","unstructured":"Heckel, R., Ehrig, H., Wolter, U., Corradini, A.: Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Applied Categorical Structures (1999);"},{"key":"#cr-split#-7_CR10.2","unstructured":"To appear, see also TR 97-07 at http:\/\/www.cs.tu-berlin.de\/cs\/ifb\/TechnBerichteListe.html"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Janhsen, A., Lemmer, K., Ptok, B., Schnieder, E.: Formal specifications of the european train control system. In: IFAC Transportation Systems, 8th Symposium on Transportation Systems (1997)","DOI":"10.1016\/S1474-6670(17)43974-7"},{"key":"7_CR12","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. TCS\u00a0109, 181\u2013224 (1993)","journal-title":"TCS"},{"issue":"2","key":"7_CR13","doi-asserted-by":"publisher","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. Information and Computation\u00a088(2), 105\u2013155 (1990)","journal-title":"Information and Computation"},{"key":"7_CR14","unstructured":"Padberg, J., Jansen, L., Heckel, R., Ehrig, H.: Interoperability in train control systems: Specification of scenarios using open nets. In: Proc. Integrated Design and Process Technology (IDPT 1998), Berlin (1998)"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations","year":"1997","key":"7_CR15","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scientific, Singapore (1997)"}],"container-title":["Lecture Notes in Computer Science","Theory and Application of Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-46464-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T16:48:11Z","timestamp":1559753291000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-46464-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672036","9783540464648"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-46464-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}