{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:54Z","timestamp":1761611214407},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657194"},{"type":"electronic","value":"9783540490197"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49019-1_6","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T05:47:45Z","timestamp":1186465665000},"page":"73-89","source":"Crossref","is-referenced-by-count":22,"title":["Unfolding and Event Structure Semantics for Graph Grammars"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Baldan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Corradini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"6_CR1","first-page":"63","volume":"1378","author":"P. Baldan","year":"1998","unstructured":"P. Baldan, A. Corradini, and U. Montanari. An event structure semantics for P\/T contextual nets: Asymmetric event structures. Proceedings of FoSSaCS\u2019 98, volume 1378, pages 63\u201380. Springer, 1998.","journal-title":"Proceedings of FoSSaCS\u2019 98"},{"key":"6_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1007\/3-540-61604-7_69","volume-title":"Proceedings CONCUR\u201996","author":"A. Corradini","year":"1996","unstructured":"A. Corradini. Concurrent Graph and Term Graph Rewriting. Proceedings CONCUR\u201996, volume 1119 of LNCS, pages 438\u2013464. Springer, 1996."},{"key":"6_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 5th International Workshop on Graph Grammars and their Application to Computer Science","author":"A. Corradini","year":"1996","unstructured":"A. Corradini, H. Ehrig, M. L\u00f6we, U. Montanari, and F. Rossi. An Event Structure Semantics for Graph Grammars with Parallel Productions. Proceedings of the 5th International Workshop on Graph Grammars and their Application to Computer Science, volume 1073 of LNCS. Springer, 1996."},{"key":"6_CR4","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","volume":"26","author":"A. Corradini","year":"1996","unstructured":"A. Corradini, U. Montanari, and F. Rossi. Graph processes. Fundamenta Informaticae, 26:241\u2013265, 1996.","journal-title":"Fundamenta Informaticae"},{"key":"6_CR5","unstructured":"A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. L\u00f6we. Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformation. Volume 1: Foundations. World Scientific, 1997."},{"key":"6_CR6","series-title":"Lect Notes Comput Sci","first-page":"3","volume-title":"Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science","author":"H. Ehrig","year":"1987","unstructured":"H. Ehrig. Tutorial introduction to the algebraic approach of graph-grammars. Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, volume 291 of LNCS, pages 3\u201314. Springer, 1987."},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1995.1153","volume":"123","author":"R. Janicki","year":"1995","unstructured":"R. Janicki and M. Koutny. Semantics of inhibitor nets. Information and Computation, 123:1\u201316, 1995.","journal-title":"Information and Computation"},{"key":"6_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/3-540-10291-4_22","volume-title":"Proceedings of the Workshop on Graphtheoretic Concepts in Computer Science","author":"H.-J. Kreowski","year":"1981","unstructured":"H.-J. Kreowski. A comparison between Petri nets and graph grammars. Proceedings of the Workshop on Graphtheoretic Concepts in Computer Science, volume 100 of LNCS, pages 306\u2013317. Springer, 1981."},{"issue":"1-2","key":"6_CR9","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0304-3975(95)00121-2","volume":"153","author":"J. Meseguer","year":"1996","unstructured":"J. Meseguer, U. Montanari, and V. Sassone. Process versus unfolding semantics for Place\/Transition Petri nets. Theoret. Comput. Sci., 153(1-2):171\u2013210, 1996.","journal-title":"Theoret. Comput. Sci."},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"U. Montanari and F. Rossi. Contextual nets. Acta Informatica, 32, 1995.","DOI":"10.1007\/BF01178907"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"W. Reisig. Petri Nets: An Introduction. EACTS Monographs on Theoretical Computer Science. Springer, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"6_CR12","unstructured":"L. Ribeiro. Parallel Composition and Unfolding Semantics of Graph Grammars. PhD thesis, Technische Universit\u00e4t Berlin, 1996."},{"key":"6_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1007\/3-540-57787-4_21","volume-title":"Proceedings of the Dagstuhl Seminar 9301 on Graph Transformations in Computer Science","author":"G. Schied","year":"1994","unstructured":"G. Schied. On relating Rewriting Systems and Graph Grammars to Event Structures. Proceedings of the Dagstuhl Seminar 9301 on Graph Transformations in Computer Science, volume 776 of LNCS, pages 326\u2013340. Springer, 1994."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"W. Vogler. Efficiency of asynchronous systems and read arcs in Petri nets. Technical Report 352, Instit\u00fct f\u00fcr Mathematik, Augsburg University, 1996.","DOI":"10.1007\/3-540-63165-8_209"},{"key":"6_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"G. Winskel","year":"1987","unstructured":"G. Winskel. Event Structures. In Petri Nets: Applications and Relationships to Other Models of Concurrency, volume 255 of LNCS, pages 325\u2013392. Springer, 1987."}],"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\/3-540-49019-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T17:28:57Z","timestamp":1587835737000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49019-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657194","9783540490197"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-49019-1_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}