{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:54:18Z","timestamp":1762458858819},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222613"},{"type":"electronic","value":"9783540277552"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27755-2_14","type":"book-chapter","created":{"date-parts":[[2010,9,14]],"date-time":"2010-09-14T03:48:13Z","timestamp":1284436093000},"page":"496-536","source":"Crossref","is-referenced-by-count":22,"title":["Graph Grammars and Petri Net Transformations"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"Julia","family":"Padberg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"AGG Homepage, http:\/\/tfs.cs.tu-berlin.de\/agg"},{"key":"14_CR2","unstructured":"Baldan, P.: Modelling Concurrent Computations: From Contextual Petri Nets to Graph Grammars. PhD thesis, University of Pisa (2000)"},{"key":"14_CR3","series-title":"Concurrency, Parallelism and Distribution","volume-title":"The Handbook of Graph Grammars and Computing by Graph Transformations","author":"P. Baldan","year":"1999","unstructured":"Baldan, P., Corradini, A., Montanari, U., Rossi, F., Ehrig, H., L\u00f6we, M.: Concurrent Semantics of Algebraic Graph Transformations. In: Rozenberg, G. (ed.) The Handbook of Graph Grammars and Computing by Graph Transformations. Concurrency, Parallelism and Distribution, vol.\u00a03. World Scientific, Singapore (1999)"},{"key":"14_CR4","unstructured":"Bardohl, R., Ermel, C.: Scenario Animation for Visual Behavior Models: A Generic Approach Applied to Petri Nets. In: Juhas, G., Desel, J. (eds.) Proc. 10th Workshop on Algorithms and Tools for Petri Nets (AWPN 2003) (2003)"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BFb0016204","volume-title":"Advances in Petri Nets 1985","author":"G. Berthelot","year":"1986","unstructured":"Berthelot, G.: Checking properties of nets using transformations. In: Rozenberg, G. (ed.) APN 1985. LNCS, vol.\u00a0222, pp. 19\u201340. Springer, Heidelberg (1986)"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/978-3-540-47919-2_13","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"G. Berthelot","year":"1987","unstructured":"Berthelot, G.: Transformations and decompositions of nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0254, pp. 359\u2013376. Springer, Heidelberg (1987)"},{"volume-title":"Petri Nets and Grafcet","year":"1992","key":"14_CR7","unstructured":"David, R., Alla, H. (eds.): Petri Nets and Grafcet. Prentice-Hall, UK (1992)"},{"key":"14_CR8","unstructured":"Ermel, C., Bardohl, R., Ehrig, H.: Specification and implementation of animation views for Petri nets. In: DFG Research Group Petri Net Technology, Proc. of 2nd International Colloquium on Petri Net Technology for Comunication Based Systems (2001)"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40022-6_5","volume-title":"Petri Net Technology for Communication-Based Systems","author":"C. Ermel","year":"2003","unstructured":"Ermel, C., Bardohl, R., Ehrig, H.: Generation of animation views for Petri nets in GenGED. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol.\u00a02472. Springer, Heidelberg (2003)"},{"key":"14_CR10","series-title":"Applications, Languages and Tools","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1999","unstructured":"Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol.\u00a02. World Scientific, Singapore (1999)"},{"key":"14_CR11","first-page":"341","volume-title":"High-level replacement systems with applications to algebraic apecifications and Petri nets","author":"H. Ehrig","year":"1999","unstructured":"Ehrig, H., Gajewsky, M., Parisi-Presicce, F.: Number 3: Concurrency, Parallelism, and Distribution in Handbook of Graph Grammars and Computing by Graph Transformations. In: High-level replacement systems with applications to algebraic apecifications and Petri nets, vol.\u00a0ch. 6, pp. 341\u2013400. World Scientific, Singapore (1999)"},{"key":"14_CR12","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. Math. Struct. in Comp. Science\u00a01, 361\u2013404 (1991)","journal-title":"Math. Struct. in Comp. Science"},{"key":"14_CR13","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. Math. Struct. in Comp. Science\u00a01, 361\u2013404 (1991)","journal-title":"Math. Struct. in Comp. Science"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0025714","volume-title":"Graph-Grammars and Their Application to Computer Science and Biology","author":"H. Ehrig","year":"1979","unstructured":"Ehrig, H.: Introduction to the algebraic theory of graph grammars (A survey). In: Ng, E.W., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol.\u00a073, pp. 1\u201369. Springer, Heidelberg (1979)"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 3: Concurrency, Parallelism, and Distribution","year":"1999","key":"14_CR15","unstructured":"Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 3: Concurrency, Parallelism, and Distribution. World Scientific, Singapore (1999)"},{"key":"14_CR16","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1: Equations and Initial Semantics","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, vol.\u00a06. Springer, Berlin (1985)"},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1109\/SWAT.1973.11","volume-title":"14th Annual IEEE Symposium on Switching and Automata Theory","author":"H. Ehrig","year":"1973","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph grammars: an algebraic approach. In: 14th Annual IEEE Symposium on Switching and Automata Theory, pp. 167\u2013180. IEEE, Los Alamitos (1973)"},{"key":"14_CR18","unstructured":"GenGED Homepage, http:\/\/tfs.cs.tu-berlin.de\/genged"},{"key":"14_CR19","unstructured":"Jensen, K., Christensen, S., Huber, P., Holla, M.: Design\/CPN. A Reference Manual. Meta Software Cooperation, 125 Cambridge Park Drive, Cambridge Ma 02140, USA (1991)"},{"key":"14_CR20","series-title":"EATCS Monographs in Theoretical Computer Science edition","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri nets. Basic Concepts, Analysis Methods and Practical Use, vol. 1: Basic Concepts","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri nets. Basic Concepts, Analysis Methods and Practical Use, vol. 1: Basic Concepts. EATCS Monographs in Theoretical Computer Science edition. Springer, Heidelberg (1992)"},{"key":"14_CR21","series-title":"EATCS Monographs in Theoretical Computer Science edition","volume-title":"Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, vol. 2: Analysis Methods","author":"K. Jensen","year":"1994","unstructured":"Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, vol. 2: Analysis Methods. EATCS Monographs in Theoretical Computer Science edition. Springer, Heidelberg (1994)"},{"key":"14_CR22","series-title":"EATCS Monographs in Theoretical Computer Science edition","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, vol. 3: Practical Use","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, vol. 3: Practical Use. EATCS Monographs in Theoretical Computer Science edition. Springer, Heidelberg (1997)"},{"issue":"4","key":"14_CR23","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1007\/s100090100055","volume":"3","author":"E. Kindler","year":"2001","unstructured":"Kindler, E., Weber, M.: The Petri net kernel \u2013 an infrastructure for building Petri net tools. Software Tools for Technology Transfer\u00a03(4), 486\u2013497 (2001)","journal-title":"Software Tools for Technology Transfer"},{"key":"14_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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., Sobociski, P.: Adhesive categories. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 273\u2013288. Springer, Heidelberg (2004) (to appear)"},{"issue":"2","key":"14_CR25","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":"14_CR26","unstructured":"Padberg, J.: Survey of high-level replacement systems. Technical Report 93-8, Technical University of Berlin (1993)"},{"issue":"4","key":"14_CR27","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1023\/A:1008695316594","volume":"7","author":"J. Padberg","year":"1999","unstructured":"Padberg, J.: Categorical approach to horizontal structuring and refinement of high-level replacement systems. Applied Categorical Structures\u00a07(4), 371\u2013403 (1999)","journal-title":"Applied Categorical Structures"},{"key":"14_CR28","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1017\/S0960129500000724","volume":"5","author":"J. Padberg","year":"1995","unstructured":"Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic high-level net transformation systems. Mathematical Structures in Computer Science\u00a05, 217\u2013256 (1995)","journal-title":"Mathematical Structures in Computer Science"},{"key":"14_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40022-6_9","volume-title":"Petri Net Technology for Communication-Based Systems","author":"J. Padberg","year":"2003","unstructured":"Padberg, J., Urb\u00e1\u0161ek, M.: Rule-based refinement of Petri nets: A survey. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol.\u00a02472. Springer, Heidelberg (2003)"},{"key":"14_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"Reisig, W.: Petri Nets and Algebraic Specifications. Theoretical Computer Science\u00a080, 1\u201334 (1991)","journal-title":"Theoretical Computer Science"},{"key":"14_CR31","doi-asserted-by":"crossref","unstructured":"Ribeiro, L., Ehrig, H., Padberg, J.: Formal development of concurrent systems using algebraic high-level nets and transformations. In: Proc. VII Simp\u00f3sio Brasileiro de Engenharia de Software, pp. 1\u201316, Tech-report no. 93-13, TU Berlin (1993)","DOI":"10.5753\/sbes.1993.24392"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations, Vol. 1: Foundations","year":"1997","key":"14_CR32","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations, Vol. 1: Foundations. World Scientific, Singapore (1997)"},{"key":"14_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1007\/3-540-55676-1_19","volume-title":"Application and Theory of Petri Nets 1992","author":"V.M. Savi","year":"1992","unstructured":"Savi, V.M., Xie, X.: Liveness and boundedness analysis for petri nets with event graph modules. In: Jensen, K. (ed.) ICATPN 1992. LNCS, vol.\u00a0616, pp. 328\u2013347. Springer, Heidelberg (1992)"},{"key":"14_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/3-540-18086-9_31","volume-title":"Advances in Petri Nets 1987","author":"J. Vautherin","year":"1987","unstructured":"Vautherin, J.: Parallel system specification with coloured Petri nets. In: Rozenberg, G. (ed.) APN 1987. LNCS, vol.\u00a0266, pp. 293\u2013308. Springer, Heidelberg (1987)"},{"key":"14_CR35","series-title":"Lecture Notes in Computer Science","first-page":"407","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"14_CR36","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0890-5401(87)90032-0","volume":"72","author":"G. Winskel","year":"1987","unstructured":"Winskel, G.: Petri nets, algebras, morphisms, and compositionality. Information and Computation\u00a072, 197\u2013238 (1987)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Lectures on Concurrency and Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27755-2_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T08:40:03Z","timestamp":1685781603000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27755-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222613","9783540277552"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27755-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}