{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:24Z","timestamp":1761611184801},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540612285"},{"type":"electronic","value":"9783540683889"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61228-9_94","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T10:17:05Z","timestamp":1153131425000},"page":"288-303","source":"Crossref","is-referenced-by-count":7,"title":["Formal relationship between graph grammars and Petri nets"],"prefix":"10.1007","author":[{"given":"Martin","family":"Korff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leila","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"20_CR1","unstructured":"A. Corradini, H. Ehrig, M. L\u00f6we, U. Montanari, and F. Rossi, An event structure semantics for safe graph grammars, To appear in Proc. of the IFIP Working Conference PROCOMET'94, 1994."},{"key":"20_CR2","first-page":"199","volume":"655","author":"H. Ehrig","year":"1991","unstructured":"H. Ehrig, M. Baldamus, and F. Orejas, New concepts for amalgamation and extension in the framework of specification logics, Proc. ADT-Workshop Durdan (Durdan), 1991, LNCS 655, pp. 199\u2013221.","journal-title":"LNCS"},{"key":"20_CR3","unstructured":"H. Ehrig, M. Gr\u00f6\u00dfe-Rhode, and A. Heise, Specification techniques for concurrent and distributed systems, Tech. Report 92\/5, Technical University of Berlin, jan. 1992, Invited paper for 2nd Maghr. Conference on Software Engineering and Artificial Intelligence, Tunis, 1992."},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"H. Ehrig, M. Korff, and M. L\u00f6we, Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts, 4th Int. Workshop on Graph Grammars and their Application to Computer Science, Springer, 1991, LNCS 532, pp. 24\u201337.","DOI":"10.1007\/BFb0017375"},{"key":"20_CR5","volume-title":"EACTS Monographs on Theoretical Computer Science, vol. 6","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr, Fundamentals of algebraic specifications 1: Equations and initial semantics, EACTS Monographs on Theoretical Computer Science, vol. 6, Springer, Berlin, 1985."},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"H. Ehrig, J. Padberg, and L. Ribeiro, Algebraic high-level nets: Petri nets revisited, Recent Trends in Data Type Specification (Caldes de Malavella, Spain), Springer, 1994, LNCS 785, pp. 188\u2013206.","DOI":"10.1007\/3-540-57867-6_11"},{"key":"20_CR7","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H.J. Genrich","year":"1981","unstructured":"H.J. Genrich and K. Lautenbach, System modelling with high-level Petri nets, TCS 13 (1981), 109\u2013136.","journal-title":"TCS"},{"key":"20_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri nets. basic concepts, analysis methods and practical use","author":"K. Jensen","year":"1992","unstructured":"K. Jensen, Coloured Petri nets. basic concepts, analysis methods and practical use, Springer, Berlin, 1992."},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"K. Jensen and G. Rozenberg (eds.), High-level Petri nets: theory and application, Springer, 1991.","DOI":"10.1007\/978-3-642-84524-6"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"H.-J. Kreowski, A comparison between Petri nets and graph grammars, Springer, 1981, LNCS 100, pp. 306\u2013317","DOI":"10.1007\/3-540-10291-4_22"},{"key":"20_CR11","unstructured":"M. L\u00f6we, M. Korff, and A. Wagner, An algebraic framework for the transformation of attributed graphs, Term Graph Rewriting: Theory and Practice, John Wiley & Sons Ltd, 1993, pp. 185\u2013199."},{"key":"20_CR12","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M. L\u00f6we","year":"1993","unstructured":"M. L\u00f6we, Algebraic approach to single-pushout graph transformation, TCS 109 (1993), 181\u2013224.","journal-title":"TCS"},{"issue":"no.2","key":"20_CR13","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"J. Meseguer and U. Montanari, Petri nets are monoids, Information and Computation 88 (1990), no. 2, 105\u2013155.","journal-title":"Information and Computation"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"J. Meseguer, U. Montanari, and V. Sassone, On the model of computation of place\/transition Petri nets, ATPN'94, Springer, 1994, LNCS 815, pp. 16\u201338.","DOI":"10.1007\/3-540-58152-9_3"},{"key":"20_CR15","unstructured":"J. Padberg, H. Ehrig, and L. Ribeiro, Algebraic high-level net transformation systems, Tech. Report 93-12, Technical University of Berlin, 1993, Revised Verion accepted for Mathematical Structures in Computer Science."},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"W. Reisig, A graph grammar representation of nonsequential processes, Springer, 1981, LNCS 100, pp. 318\u2013325","DOI":"10.1007\/3-540-10291-4_23"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"W. Reisig, Petri nets, Springer, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"20_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"W. Reisig, Petri nets and algebraic specifications, TCS 80 (1991), 1\u201334.","journal-title":"TCS"},{"key":"20_CR19","unstructured":"L. Ribeiro and J. Padberg, Algebraic high-level nets and transformations with initial markings, Tech. Report 94\/7, Technical University of Berlin, 1994."},{"key":"20_CR20","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0304-3975(93)90070-A","volume":"109","author":"H.-J. Schneider","year":"1993","unstructured":"H.-J. Schneider, On categorical graph grammars integrating structural transformations and operations on labels. TCS 109 (1993), pp. 257\u2013274.","journal-title":"TCS"},{"key":"20_CR21","unstructured":"H.-J. Schneider, Graph grammars as a tool to define the behaviour of process systems: from Petri nets to Linda. In Proc. 5th Int. Workshop on Graph Grammars and their Application to Computer Science, 1994."},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"J.C. Wileden, Relationships between graph grammars and the design and analysis of concurrent software, Springer, 1979, LNCS 73, pp 456\u2013463.","DOI":"10.1007\/BFb0025741"}],"container-title":["Lecture Notes in Computer Science","Graph Grammars and Their Application to Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61228-9_94","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T22:02:24Z","timestamp":1555711344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61228-9_94"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540612285","9783540683889"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-61228-9_94","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}