{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:45:37Z","timestamp":1725518737722},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540874041"},{"type":"electronic","value":"9783540874058"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87405-8_34","type":"book-chapter","created":{"date-parts":[[2008,9,17]],"date-time":"2008-09-17T10:48:17Z","timestamp":1221648497000},"page":"467-469","source":"Crossref","is-referenced-by-count":0,"title":["Workshop on Petri Nets and Graph Transformations"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Baldan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"K\u00f6nig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","unstructured":"Badouel, E., Llorens, M., Oliver, J.: Modeling concurrent systems: Reconfigurable nets. In: Arabnia, H.R., Mun, Y. (eds.) Proceedings of PDPTA 2003, vol.\u00a04, pp. 1568\u20131574. CSREA Press (2003)"},{"key":"34_CR2","unstructured":"Baldan, P.: Modelling concurrent computations: from contextual Petri nets to graph grammars. PhD thesis, Department of Computer Science, University of Pisa, Available as technical report n. TD-1\/00 (2000)"},{"key":"34_CR3","unstructured":"Baldan, P., Corradini, A., Ehrig, H., L\u00f6we, M., Montanari, U., Rossi, F.: Concurrent Semantics of Algebraic Graph Transformation Systems. In: Ehrig, et al. (eds.) [11]"},{"key":"34_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/11690634_14","volume-title":"Foundations of Software Science and Computation Structures","author":"P. Baldan","year":"2006","unstructured":"Baldan, P., Corradini, A., Heindel, T., K\u00f6nig, B., Soboci\u0144ski, P.: Processes for adhesive rewriting systems. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006. LNCS, vol.\u00a03921, pp. 202\u2013216. Springer, Heidelberg (2006)"},{"key":"34_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/3-540-44685-0_26","volume-title":"CONCUR 2001 - Concurrency Theory","author":"P. Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., K\u00f6nig, B.: A static analysis technique for graph transformation systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 381\u2013395. Springer, Heidelberg (2001)"},{"issue":"2","key":"34_CR6","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/s10270-003-0048-4","volume":"3","author":"R. Bardohl","year":"2004","unstructured":"Bardohl, R., Ermel, C.: Scenario animation for visual behavior models: A generic approach. Software and System Modeling\u00a03(2), 164\u2013177 (2004)","journal-title":"Software and System Modeling"},{"key":"34_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/978-3-540-39958-2_18","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"F.L. Dott\u00ed","year":"2003","unstructured":"Dott\u00ed, F.L., Foss, L., Ribeiro, L., Santos, O.M.: Verification of distributed object-based systems. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 261\u2013275. Springer, Heidelberg (2003)"},{"key":"34_CR8","unstructured":"Ehrig, H., Gajewsky, M., Parisi-Presicce, F.: Replacement systems with applications to algebraic specifications and petri nets. In: Ehrig, et al. (eds.) [11]"},{"key":"34_CR9","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1017\/S0960129500001353","volume":"1","author":"H. Ehrig","year":"1991","unstructured":"Ehrig, H., Habel, A., Kreowski, H.-J., Parisi-Presicce, F.: Parallelism and concurrency in High-Level Replacement Systems. Mathematical Structures in Computer Science\u00a01, 361\u2013404 (1991)","journal-title":"Mathematical Structures in Computer Science"},{"key":"34_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/978-3-540-30203-2_12","volume-title":"Graph Transformations","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., Habel, A., Padberg, J., Prange, U.: Adhesive high-level replacement categories and systems. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 144\u2013160. Springer, Heidelberg (2004)"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Concurrency, Parallelism and Distribution","year":"1999","key":"34_CR11","unstructured":"Ehrig, H., Kreowski, J., Montanari, U., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation, Concurrency, Parallelism and Distribution, vol.\u00a0Volume III. World Scientific, Singapore (1999)"},{"key":"34_CR12","series-title":"ENTCS","first-page":"61","volume-title":"Proceedings of PNGT\u201904","author":"C. Ermel","year":"2005","unstructured":"Ermel, C., Ehrig, K.: View transformation in visual environments applied to petri nets. In: Ehrig, H., Padberg, J., Rozenberg, G. (eds.) Proceedings of PNGT\u201904. ENTCS, vol.\u00a0127, pp. 61\u201386. Elsevier, Amsterdam (2005)"},{"key":"34_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/3-540-57787-4_13","volume-title":"Graph Transformations in Computer Science","author":"D. Janssens","year":"1994","unstructured":"Janssens, D.: ESM systems and the composition of their computations. In: Ehrig, H., Schneider, H.-J. (eds.) Dagstuhl Seminar 1993. LNCS, vol.\u00a0776, pp. 203\u2013217. Springer, Heidelberg (1994)"},{"key":"34_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/978-3-540-24727-2_20","volume-title":"Foundations of Software Science and Computation Structures","author":"S. Lack","year":"2004","unstructured":"Lack, S., Soboci\u0144ski, P.: Adhesive categories. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 273\u2013288. Springer, Heidelberg (2004)"},{"key":"34_CR15","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1017\/S0960129597002314","volume":"7","author":"J. Meseguer","year":"1997","unstructured":"Meseguer, J., Montanari, U., Sassone, V.: On the semantics of Place\/Transition Petri nets. Mathematical Structures in Computer Science\u00a07, 359\u2013397 (1997)","journal-title":"Mathematical Structures in Computer Science"},{"key":"34_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"686","DOI":"10.1007\/978-3-540-27755-2_19","volume-title":"Lectures on Concurrency and Petri Nets","author":"R. Milner","year":"2004","unstructured":"Milner, R.: Bigraphs for petri nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 686\u2013701. Springer, Heidelberg (2004)"},{"issue":"2","key":"34_CR17","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1017\/S0960129500000724","volume":"5","author":"J. Padberg","year":"1995","unstructured":"Padberg, J., Ehrig, H., Ribeiro, L.: High level replacement systems applied to algebraic high level net transformation systems. Mathematical Structures in Computer Science\u00a05(2), 217\u2013256 (1995)","journal-title":"Mathematical Structures in Computer Science"},{"key":"34_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/3-540-45832-8_25","volume-title":"Graph Transformation","author":"J. Padberg","year":"2002","unstructured":"Padberg, J., Enders, B.: Rule invariants in graph transformation systems for analyzing safety-critical systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 334\u2013350. Springer, Heidelberg (2002)"},{"key":"34_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-68679-8_8","volume-title":"Concurrency, Graphs and Models","author":"A. Rensink","year":"2008","unstructured":"Rensink, A.: Explicit state model checking for graph grammars. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 114\u2013132. Springer, Heidelberg (2008)"},{"key":"34_CR20","series-title":"ENTCS","first-page":"107","volume-title":"Proceedings of PNGT 2004","author":"V. Sassone","year":"2005","unstructured":"Sassone, V., Sobocinski, P.: A congruence for Petri nets. In: Proceedings of PNGT 2004. ENTCS, vol.\u00a0127, pp. 107\u2013120. Elsevier, Amsterdam (2005)"},{"key":"34_CR21","unstructured":"Soboci\u0144ski, P.: Reversing graph transformations. In: Proceedings of PNGT 2006. Electronic Communications of the EASST, vol.\u00a02 (2006)"},{"key":"34_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/11841883_19","volume-title":"Graph Transformations","author":"D. Varr\u00f3","year":"2006","unstructured":"Varr\u00f3, D., Varr\u00f3-Gyapay, S., Ehrig, H., Prange, U., Taentzer, G.: Termination analysis of model transformations by Petri nets. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 260\u2013274. Springer, Heidelberg (2006)"},{"key":"34_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"G. Winskel","year":"1987","unstructured":"Winskel, G.: Event Structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0255, pp. 325\u2013392. Springer, Heidelberg (1987)"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87405-8_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:57:53Z","timestamp":1619524673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87405-8_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540874041","9783540874058"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87405-8_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}