Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, and Gabriele Taentzer. Graph transformation for specification and programming. Science of Computer Programming, 34(1):1-54, 1999.
Kenneth Appel and Wolfgang Haken. Every Planar Map is Four Colorable, volume 98 of Contemporary Mathematics. Amer. Mathematical Society, 1989.
Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Michael Löwe, Ugo Montanari, and Francesca Rossi. Algebraic approaches to graph transformation Part I: Basic concepts and double pushout approach. In Rozenberg [29].
Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, and Grzegorz Rozenberg, editors. Proc. 1st Int. Conference on Graph Transformation (ICGT 2002), volume 2505 of Lecture Notes in Computer Science. Springer, 2002.
Bruno Courcelle. The expression of graph properties and graph transformations in monadic second-order logic. In Rozenberg [29], pages 313-400.
Frank Drewes, Annegret Habel, and Hans-Jörg Kreowski. Hyperedge replacement graph grammars. In Rozenberg [29], pages 95-162.
Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, and Grzegorz Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2: Applications, Languages and Tools. World Scientific, Singapore, 1999.
Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, and Grzegorz Rozenberg, editors. Proc. 2nd Int. Conference on Graph Transformation (ICGT 2004), volume 3256 of Lecture Notes in Computer Science. Springer, 2004.
Hartmut Ehrig, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, and Andrea Corradini. Algebraic approaches to graph transformation Part II: Single pushout approach and comparison with double pushout approach. In Rozenberg [29], pages 247-312.
Hartmut Ehrig, Hans-Jörg Kreowski, Ugo Montanari, and Grzegorz Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 3: Concurrency, Parallelism, and Distribution. World Scientific, Singapore, 1999.
Joost Engelfriet. Context-free graph grammars. In Grzegorz Rozenberg and Arto Salomaa, editors, Handbook of Formal Languages, Volume 3: Beyond Words, pages 125-213. Springer, 1997.
Joost Engelfriet and Grzegorz Rozenberg. Node replacement graph grammars. In Rozenberg [29], pages 1-94.
Alan Gibbons. Algorithmic Graph Theory. Cambridge University Press, 1985.
Claude Girault and Rüdiger Valk. Petri Nets for Systems Engineering. Springer, 2003.
Annegret Habel. Hyperedge Replacement: Grammars and Languages, volume 643 of Lecture Notes in Computer Science. Springer, 1992.
Frank Harary. Graph Theory. Addison Wesley, 1969.
Renate Klempien-Hinrichs, Hans-Jörg Kreowski, and Sabine Kuske. Rule-based transformation of graphs and the product type. In Patrick van Bommel, editor, Transformation of Knowledge, Information, and Data: Theory and Applications, pages 29-51. Idea Group Publishing, Hershey, Pennsylvania, USA, 2004.
Renate Klempien-Hinrichs, Hans-Jörg Kreowski, and Sabine Kuske. Typing of graph transformation units. In Ehrig et al. [8], pages 112-127.
Peter Knirsch and Sabine Kuske. Distributed graph transformation units. In Corradini et al. [4], pages 207-222.
Hans-Jörg Kreowski and Sabine Kuske. Graph transformation units and modules. In Ehrig et al. [7], pages 607-638.
Hans-Jörg Kreowski and Sabine Kuske. Graph transformation units with interleaving semantics. Formal Aspects of Computing, 11(6):690-723, 1999.
Hans-Jörg Kreowski and Sabine Kuske. Approach-independent structuring concepts for rule-based systems. In Martin Wirsing, Dirk Pattison, and Rolf Hennicker, editors, Proc. 16th Int. Workshop on Algebraic Development Techniques (WADT 2002), volume 2755 of Lecture Notes in Computer Science, pages 299- 311. Springer, 2003.
Sabine Kuske. More about control conditions for transformation units. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, and Grzegorz Rozenberg, editors, Proc. Theory and Application of Graph Transformations, volume 1764 of Lecture Notes in Computer Science, pages 323-337. Springer, 2000.
Sabine Kuske. Transformation Units—A structuring Principle for Graph Transformation Systems. PhD thesis, University of Bremen, 2000.
Sabine Kuske. Parameterized transformation units. In Proc. GETGRATS Closing Workshop, volume 51 of Electronic Notes in Theoretical Computer Science, 2002.
John L. Pfaltz, Manfred Nagl, and Boris Böhlen, editors. Proc. 2nd Int. Workshop and Symposium on Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003), volume 3062 of Lecture Notes in Computer Science. Springer, 2004.
Wolfgang Reisig. Petri Nets. An Introduction. Springer, 1985.
Wolfgang Reisig. Elements of Distributed Algorithms. Modeling and Analysis with Petri Nets. Springer, 1998.
Grzegorz Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1: Foundations. World Scientific, Singapore, 1997.
Andy Schürr. Programmed graph replacement systems. In Rozenberg [29], pages 479-546.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2006). Hans-Jörg Kreowski, Renate Klempien-Hinrichs, Sabine Kuske. In: Esik, Z., Martín-Vide, C., Mitrana, V. (eds) Recent Advances in Formal Languages and Applications. Studies in Computational Intelligence, vol 25. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-33461-3_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-33461-3_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33460-6
Online ISBN: 978-3-540-33461-3
eBook Packages: EngineeringEngineering (R0)