{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:16:42Z","timestamp":1725898602060},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676584"},{"type":"electronic","value":"9783540451044"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45104-8_7","type":"book-chapter","created":{"date-parts":[[2007,11,7]],"date-time":"2007-11-07T22:57:00Z","timestamp":1194476220000},"page":"87-95","source":"Crossref","is-referenced-by-count":3,"title":["Compositional Construction of Simulation Models Using Graph Grammars"],"prefix":"10.1007","author":[{"given":"Leila","family":"Ribeiro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernardo","family":"Copstein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,4,18]]},"reference":[{"key":"7_CR1","unstructured":"B. Copstein, SIMOO: Plataforma orientada a objetos para simula\u00e7\u00e3o discreta multi-paradigma, Ph.D. thesis, Federal University of Rio Grande do Sul, 1997."},{"key":"7_CR2","unstructured":"B. Copstein and L. Korff, Specifying simulation models using graph grammars, ESS\u201998 10th European Simulation Symposium, SCS, 1998, pp. 60\u201364."},{"key":"7_CR3","unstructured":"B. Copstein, C. E. Pereira, and F. Wagner, The object oriented approach and the event simulation paradigms, 10th European Simulation Multiconference, SCS, 1996."},{"key":"7_CR4","unstructured":"B. Copstein, C. E. Pereira, and F. Wagner, Simoo-an environment for the objetc-oriented discret simulation, 9th European Simulation Symposium & Exhibition-Simulation in Industry, SCS, 1997."},{"key":"7_CR5","unstructured":"H. Ehrig, R. Heckel, M. Korff, M. L\u00f6we, L. Ribeiro, A. Wagner, and A. Corradini, Algebraic approaches to graph transformation II: Single pushout approach and comparison with double pushout approach, The Handbook of Graph Grammars, vol. 1: Foundations, World Scientific, 1997, pp. 247\u2013312."},{"key":"7_CR6","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Introduction to the algebraic theory of graph grammars","author":"H. Ehrig","year":"1979","unstructured":"H. Ehrig, Introduction to the algebraic theory of graph grammars, Lecture Notes in Computer Science, vol. 73, Springer, 1979, pp. 1\u201369."},{"key":"7_CR7","unstructured":"N. G\u00f6tz et alii., Constructive specification techniques-integrating functional performance and dependability aspects, Quantitative methods in parallel systems, Springer, 1995."},{"key":"7_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/3-540-61228-9_94","volume-title":"Formal relationships between graph grammars and Petri nets","author":"M. Korff","year":"1996","unstructured":"M. Korff and L. Ribeiro, Formal relationships between graph grammars and Petri nets, Lecture Notes in Computer Science, vol. 1073, Springer, 1996, pp. 288\u2013303."},{"key":"7_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/3-540-18771-5_42","volume-title":"An introduction to parallel map generating systems","author":"A. Lindenmayer","year":"1987","unstructured":"A. Lindenmayer, An introduction to parallel map generating systems, Lecture Notes in Computer Science, vol. 291, Springer, 1987, pp. 27\u201340."},{"key":"7_CR10","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":"7_CR11","first-page":"181","volume":"109","author":"M. L\u00f6we","year":"1993","unstructured":"M. L\u00f6we, Algebraic approach to single-pushout graph transformation, Theoretical Computer Science 109 (1993), 181\u2013224.","journal-title":"Algebraic approach to single-pushout graph transformation"},{"key":"7_CR12","unstructured":"M. Nagl (organizer), The use of graph grammars in applications, Lecture Notes iun Computer Science, vol. 532, Springer, 1991, pp. 41\u201360."},{"key":"7_CR13","unstructured":"M. Pidd, An introduction to computer simulation, Winter Simulation Conference 1994, SCS, 1994."},{"key":"7_CR14","unstructured":"P. Prusinkiewicz and A. Lindenmayer, The algorithmic beauty of plants, Springer, 1996."},{"key":"7_CR15","unstructured":"A. Pritsker, The GASP IV simulation language, John Wiley and Sons, 1974."},{"key":"7_CR16","volume-title":"Parallel composition and unfolding semantics of graph grammars","author":"L. Ribeiro","year":"1996","unstructured":"L. Ribeiro, Parallel composition and unfolding semantics of graph grammars, Ph.D. thesis, Technical University of Berlin, Germany, 1996."},{"issue":"4","key":"7_CR17","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1023\/A:1008691205954","volume":"7","author":"L. Ribeiro","year":"1999","unstructured":"L. Ribeiro, Parallel composition of graph grammars, Applied categorical structures 7, no.4 (1999), 405\u2013430.","journal-title":"Applied categorical structures"},{"key":"7_CR18","unstructured":"R. E. Shannon, Systems simulation, the art and science, Prentice Hall, 1975."},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"G. Taentzer, Parallel and distributed graph transformation: Formal description and application to communication-based systems, Ph.D. thesis, Technical University of Berlin, 1996.","DOI":"10.1007\/3-540-61228-9_95"},{"key":"7_CR20","unstructured":"K. Trivedi, Probability and statistics with reliability, queuing and computer science applications, Prentice Hall, 1982."}],"container-title":["Lecture Notes in Computer Science","Applications of Graph Transformations with Industrial Relevance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45104-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T17:16:49Z","timestamp":1684084609000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45104-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676584","9783540451044"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45104-8_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}