Skip to main content
SpringerLink
Log in
Book cover

International Conference on Graph Transformation

ICGT 2018: Graph Transformation pp 45–62Cite as

Graph Surfing by Reaction Systems

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10887))

Abstract

In this paper, we introduce graph-based reaction systems as a generalization of set-based reaction systems, a novel and well-investigated model of interactive computation. Graph-based reaction systems allow us to introduce a novel methodology for graph transformation, which is not based on the traditional “cut, add, and paste” approach, but rather on moving within a “universe” graph B (surfing on B) from a subgraph of B to a subgraph of B, creating subgraph trajectories within B. We illustrate this approach by small case studies: simulating finite state automata, implementing a shortest paths algorithm, and simulating cellular automata.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Abdessaied, N., Drechsler, R.: Reversible and Quantum Circuits: Optimization and Complexity Analysis. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-31937-7

    Book  MATH  Google Scholar 

  2. Bottoni, P., Labella, A., Rozenberg, G.: Networks of reaction systems. Int. J. Found. Comput. Sci. (2018, to appear)

    Google Scholar 

  3. Brijder, R., Ehrenfeucht, A., Main, M.G., Rozenberg, G.: A tour of reaction systems. Int. J. Found. Comput. Sci. 22(7), 1499–1517 (2011)

    Article  MathSciNet  Google Scholar 

  4. Drewes, F., Habel, A., Kreowski, H.-J.: Hyperedge replacement graph grammars (Chap. 2). In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, vol. 1, pp. 95–162. World Scientific Publishing Co., Singapore (1997)

    Chapter  Google Scholar 

  5. Ehrenfeucht, A., Main, M.G., Rozenberg, G.: Combinatorics of life and death for reaction systems. Int. J. Found. Comput. Sci. 21(3), 345–356 (2010)

    Article  MathSciNet  Google Scholar 

  6. Ehrenfeucht, A., Main, M.G., Rozenberg, G.: Functions defined by reaction systems. Int. J. Found. Comput. Sci. 22(1), 167–178 (2011)

    Article  MathSciNet  Google Scholar 

  7. Ehrenfeucht, A., Petre, I., Rozenberg, G.: Reaction systems: a model of computation inspired by the functioning of the living cell. In: Konstantinidis, S., Moreira, N., Reis, R., Shallit, J. (eds.) The Role of Theory in Computing, pp. 11–32. World Scientific Publishing Co., Singapore (2017)

    Google Scholar 

  8. Ehrenfeucht, A., Rozenberg, G.: Events and modules in reaction systems. Theoret. Comput. Sci. 376(1–2), 3–16 (2007)

    Article  MathSciNet  Google Scholar 

  9. Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundamenta Informaticae 75(1–4), 263–280 (2007)

    MathSciNet  MATH  Google Scholar 

  10. Ehrenfeucht, A., Rozenberg, G.: Introducing time in reaction systems. Theoret. Comput. Sci. 410(4–5), 310–322 (2009)

    Article  MathSciNet  Google Scholar 

  11. Ehrenfeucht, A., Rozenberg, G.: Zoom structures and reaction systems yield exploration systems. Int. J. Found. Comput. Sci. 25(4–5), 275–305 (2014)

    Article  MathSciNet  Google Scholar 

  12. Ehrig, H.: Introduction to the algebraic theory of graph grammars (a survey). In: Claus, V., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol. 73, pp. 1–69. Springer, Heidelberg (1979). https://doi.org/10.1007/BFb0025714

    Chapter  Google Scholar 

  13. Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation: Concurrency, Parallelism, and Distribution, vol. 3. World Scientific Publishing Co., Singapore (1999)

    MATH  Google Scholar 

  14. Formenti, E., Manzoni, L., Porreca, A.E.: Fixed points and attractors of reaction systems. In: Beckmann, A., Csuhaj-Varjú, E., Meer, K. (eds.) CiE 2014. LNCS, vol. 8493, pp. 194–203. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-08019-2_20

    Chapter  Google Scholar 

  15. Grünbaum, B., Shephard, G.C.: Tilings and Patterns. W. H. Freeman, New York (1987)

    MATH  Google Scholar 

  16. Janssens, D., Rozenberg, G.: Graph grammars with neighbourhood-controlled embedding. Theoret. Comput. Sci. 21, 55–74 (1982)

    Article  MathSciNet  Google Scholar 

  17. Kari, J.: Theory of cellular automata: a survey. Theoret. Comput. Sci. 334(1–3), 3–33 (2005)

    Article  MathSciNet  Google Scholar 

  18. von Neumann, J.: The general and logical theory of automata. In: Jeffress, L. (ed.) Cerebral Mechanisms in Behavior - The Hixon Symposium. Wiley, New York (1951)

    Google Scholar 

  19. Peitgen, H., Jürgens, H., Saupe, D.: Chaos and Fractals: New Frontiers of Science. Springer, Berlin (2004). https://doi.org/10.1007/b97624

    Book  MATH  Google Scholar 

  20. Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, vol. 1. World Scientific Publishing Co., Singapore (1997)

    MATH  Google Scholar 

  21. Salomaa, A.: Functions and sequences generated by reaction systems. Int. J. Found. Comput. Sci. 466(4–5), 87–96 (2012)

    MathSciNet  MATH  Google Scholar 

  22. Salomaa, A.: On state sequences defined by reaction systems. In: Constable, R.L., Silva, A. (eds.) Logic and Program Semantics. LNCS, vol. 7230, pp. 271–282. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-29485-3_17

    Chapter  Google Scholar 

Download references

Acknowledgement

We are grateful to the anonymous reviewers for their helpful comments.

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Bremen, Bibliothekstr. 5, 28359, Bremen, Germany

    Hans-Jörg Kreowski

  2. Leiden Institute of Advanced Computer Science, Leiden University, Niels Bohrweg 1, 2333 CA, Leiden, The Netherlands

    Grzegorz Rozenberg

  3. Department of Computer Science, University of Colorado, Boulder, CO, 80309-0347, USA

    Grzegorz Rozenberg

Authors
  1. Hans-Jörg Kreowski
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Grzegorz Rozenberg
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hans-Jörg Kreowski .

Editor information

Editors and Affiliations

  1. University of Potsdam, Potsdam, Germany

    Leen Lambers

  2. University of Victoria, Victoria, British Columbia, Canada

    Jens Weber

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Kreowski, HJ., Rozenberg, G. (2018). Graph Surfing by Reaction Systems. In: Lambers, L., Weber, J. (eds) Graph Transformation. ICGT 2018. Lecture Notes in Computer Science(), vol 10887. Springer, Cham. https://doi.org/10.1007/978-3-319-92991-0_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-92991-0_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-92990-3

  • Online ISBN: 978-3-319-92991-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation