{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:54:51Z","timestamp":1725576891067},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205388"},{"type":"electronic","value":"9783540400226"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40022-6_5","type":"book-chapter","created":{"date-parts":[[2011,1,27]],"date-time":"2011-01-27T09:15:31Z","timestamp":1296119731000},"page":"83-108","source":"Crossref","is-referenced-by-count":4,"title":["Generation of Animation Views for Petri Nets in GenGED"],"prefix":"10.1007","author":[{"given":"Claudia","family":"Ermel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roswitha","family":"Bardohl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hartmut","family":"Ehrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Bardohl, R.: GenGEd \u2013 Visual Definition of Visual Languages based on Algebraic Graph Transformation. Verlag Dr. Kovac, 2000. PhD thesis, Technical University of Berlin, Dept. of Computer Science (1999)","key":"5_CR1"},{"unstructured":"Bardohl, R., Ehrig, H., Ermel, C.: Generic Description, Behaviour and Animation of Visual Modeling Languages. In: Proc. Integrated Design and Process Technology (IDPT 2000), Dallas (Texas), USA (June 2000)","key":"5_CR2"},{"unstructured":"Bardohl, R., Ermel, C.: Visual Specification and Parsing of a Statechart Variant using GenGEd. In: Proc. Symposium on Visual Languages and Formal Methods (VLFM 2001), Stresa, Italy, September 5\u20137 (2001)","key":"5_CR3"},{"unstructured":"Bardohl, R., Ermel, C., Ehrig, H.: Generic Description of Syntax, Behavior and Animation of Visual Models. TR 2001\/19, TU Berlin (2001) ISSN 1436-9915","key":"5_CR4"},{"unstructured":"Bardohl, R., Ermel, C., Padberg, J.: Formal Relationship between Petri Nets and Graph Grammars as Basis for Animation Views in GenGED. In: Proc. IDPT 2002: Sixth World Conference on Integrated Design and Process Technology (2002) (to appear)","key":"5_CR5"},{"unstructured":"Bardohl, R., Ermel, C., Ribeiro, L.: Towards Visual Specification and Animation of Petri Net Based Models. In: Proc. GRATRA 2000 - Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems, Technische Universit\u00e4t Berlin, pp. 22\u201331 (March 2000)","key":"5_CR6"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-45104-8_17","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"R. Bardohl","year":"2000","unstructured":"Bardohl, R., Niemann, M., Schwarze, M.: GENGED - A Development Environment for Visual Languages. In: M\u00fcnch, M., Nagl, M. (eds.) AGTIVE 1999. LNCS, vol.\u00a01779, pp. 233\u2013240. Springer, Heidelberg (2000)"},{"doi-asserted-by":"crossref","unstructured":"Bardohl, R., Schultzke, T., Taentzer, G.: Visual Language Parsing in GenGEd. Electronic Notes of Theoretical Computer Science, June 12-13, vol.\u00a050(3) (2001)","key":"5_CR8","DOI":"10.1016\/S1571-0661(04)00181-1"},{"key":"5_CR9","volume-title":"Proc. Workshop on Quality of Communication-Based Systems","author":"A. Corradini","year":"1995","unstructured":"Corradini, A., Montanari, U.: Specification of Concurrent Systems: From Petri Nets to Graph Grammars. In: Hommel, G. (ed.) Proc. Workshop on Quality of Communication-Based Systems, Berlin, Germany. Kluwer, Dordrecht (1995)"},{"key":"5_CR10","series-title":"Foundations","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1142\/9789812384720_0004","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"H. Ehrig","year":"1997","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic Approaches to Graph Transformation II: Single Pushout Approach and Comparison with Double Pushout Approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol.\u00a01, ch. 4, pp. 247\u2013312. World Scientific, Singapore (1997)"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/b83526","volume-title":"The Petri Net Baukasten of the DFGForschergruppe PETRI NET TECHNOLOGY","author":"H. Ehrig","year":"2003","unstructured":"Ehrig, H., Reisig, W., Weber, H., et al.: Petri Net Technology for Communication-Based Systems. LNCS, vol.\u00a02472, pp. 1\u201321. Springer, Heidelberg (2003)"},{"unstructured":"Ehrig, K.: Converting XML Files with XSLT and XPath Student\u2019s Project Status Report (2001), http:\/\/tfs.cs.tu-berlin.de\/lehre\/SS01\/gragra.html","key":"5_CR12"},{"unstructured":"Ermel, C., Bardohl, R., Ehrig, H.: Specification and Implementation of Animation Views for Petri Nets. In: Weber, et al. (eds.) 2nd Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Berlin, Germany, Fraunhofer Gesellschaft ISST, pp. 75\u201392 (September 2001)","key":"5_CR13"},{"doi-asserted-by":"crossref","unstructured":"Ermel, C., Bardohl, R., Padberg, J.: Visual Design of Software Architecture and Evolution based on Graph Transformation. In: Int. Workshop on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2001), at ETAPS 2001. Electronic Notes in Theoretical Computer Science, vol.\u00a044(4) (2001)","key":"5_CR14","DOI":"10.1016\/S1571-0661(04)80943-5"},{"key":"5_CR15","series-title":"Applications, Languages and Tools","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1142\/9789812815149_0014","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"C. Ermel","year":"1999","unstructured":"Ermel, C., Rudolf, M., Taentzer, G.: The AGG-Approach: Language and Tool Environment. In: 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, pp. 551\u2013603. World Scientific, Singapore (1999)"},{"unstructured":"Griebel, P.: Paralleles L\u00f6sen von grafischen Constraints. PhD thesis, University of Paderborn, Germany (February 1996)","key":"5_CR16"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/3-540-61228-9_94","volume-title":"Graph Grammars and Their Application to Computer Science","author":"M. Korff","year":"1995","unstructured":"Korff, M., Ribeiro, L.: Formal Relationship between Graph Grammars and Petri nets. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol.\u00a01073, pp. 288\u2013303. Springer, Heidelberg (1995)"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","first-page":"11","volume-title":"Graphtheoretic Concepts in Computer Science","author":"H.-J. Kreowski","year":"1981","unstructured":"Kreowski, H.-J.: A Comparison between Petri-nets and Graph Grammars. In: Noltemeier, H. (ed.) WG 1980. LNCS, vol.\u00a0100, pp. 11\u201319. Springer, Heidelberg (1981)"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M. L\u00f6we","year":"1993","unstructured":"L\u00f6we, M.: Algebraic Approach to Single-Pushout Graph Transformation. TCS\u00a0109, 181\u2013224 (1993)","journal-title":"TCS"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"Graph-Grammars and Their Application to Computer Science","author":"F. Parisi-Presicce","year":"1987","unstructured":"Parisi-Presicce, F., Ehrig, H., Montanari, U.: Graph Rewriting with Unification and Composition. In: Ehrig, H., Nagl, M., Rosenfeld, A., Rozenberg, G. (eds.) Graph Grammars 1986. LNCS, vol.\u00a0291, Springer, Heidelberg (1987)"},{"unstructured":"Schneider, H.J.: Graph Grammars as a Tool to Define the Behaviour of Process Systems: From Petri Nets to Linda. In: Proc. Fifth International Workshop on Graph Grammars and their Application to Computer Science, Williamsburg, Va., USA, pp. 7\u201312 (1994)","key":"5_CR21"},{"doi-asserted-by":"crossref","unstructured":"Weidauer, C.: Animations-Framework in Java. Systematische Animationsentwicklung mit Mehrschichtenarchitektur. Informatik - Forschung und Entwicklung, Band 15, Heft 2, pp. 83\u201391 (June 2000)","key":"5_CR22","DOI":"10.1007\/PL00009130"}],"container-title":["Lecture Notes in Computer Science","Petri Net Technology for Communication-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40022-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T00:54:07Z","timestamp":1559955247000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40022-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205388","9783540400226"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40022-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}