Skip to main content
SpringerLink
Log in

Transformations of Reaction Systems Over Categories by Means of Epi-Mono Factorization and Functors

  • Conference paper
  • First Online:
Graph Transformation (ICGT 2021)

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

Included in the following conference series:

Abstract

A categorical approach to reaction systems is a generalization and unification of the intensely studied set-based and graph-based reaction systems such that a wider spectrum of data structures becomes available on which reaction systems can be based. Many types of graphs, hypergraphs, and graph-like structures are covered. As a class of suitable categories, \( eiu \)-categories have been introduced, which are closely related to well-known adhesive categories. In this paper, transformations of reaction systems over \( eiu \)-categories by means of epi-mono factorization and functors are investigated.

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

Access this chapter

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

Institutional subscriptions

References

  1. Kari, L., Rozenberg, G.: The many facets of natural computing. Commun. ACM 51(10), 72–83 (2008)

    Article  Google Scholar 

  2. Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fund. Inform. 75(1–4), 263–280 (2007)

    MathSciNet  MATH  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. Ehrenfeucht, A., Kleijn, J., Koutny, M., Rozenberg, G.: Minimal reaction systems. Trans. Comp. Sys. Biology 14, 102–122 (2012)

    Article  Google Scholar 

  5. Ehrenfeucht, A., Kleijn, J., Koutny, M., Rozenberg, G.: Evolving reaction systems. Theor. Comput. Sci. 682, 79–99 (2017)

    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.: Introducing time in reaction systems. Theoret. Comput. Sci. 410(4–5), 310–322 (2009)

    Article  MathSciNet  Google Scholar 

  9. 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 

  10. Salomaa, A.: Functions and sequences generated by reaction systems. Theoret. Comput. Sci. 466(4–5), 87–96 (2012)

    Article  MathSciNet  Google Scholar 

  11. Kreowski, H.-J., Rozenberg, G.: Graph surfing by reaction systems. In: Lambers, L., Weber, J. (eds.) ICGT 2018. LNCS, vol. 10887, pp. 45–62. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-92991-0_4

    Chapter  MATH  Google Scholar 

  12. Kreowski, H., Rozenberg, G.: Graph transformation through graph surfing in reaction systems. J. Logical Algebr. Methods Program.109(100481) (2019)

    Google Scholar 

  13. Kreowski, H., Lye, A.: A categorial approach to reaction systems: First steps. Theoret. Comput. Sci. (2020)

    Google Scholar 

  14. Lack, S., Sobociński, P.: Adhesive and quasiadhesive categories. RAIRO Theoret. Inform. Appl 39(3), 511–545 (2005)

    Google Scholar 

  15. Kreowski, H.-J., Lye, A.: Graph surfing in reaction systems from a categorial perspective. In: Hoffmann, B., Minas, M. (eds.) Proceedings of the 11th International Workshop on Graph Computation Models, (GCM 2020), Electronic Proceedings in Theoretical Computer Science (EPTCS), vol. 330, pp. 71–87. Open Publishing Association (2020)

    Google Scholar 

  16. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. MTCSAES. Springer, Heidelberg (2006). https://doi.org/10.1007/3-540-31188-2

    Book  MATH  Google Scholar 

  17. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories - The Joy of Cats. Dover Publications (2009)

    Google Scholar 

  18. Ehrig, H., Ermel, C., Golas, U., Hermann, F.: Graph and Model Transformation - General Framework and Applications. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2015). https://doi.org/10.1007/978-3-662-47980-3

  19. Corradini, A., Hermann, F., Sobociński, P.: Subobject transformation systems. Appl. Categ. Struct. 16(3), 389–419 (2008)

    Article  MathSciNet  Google Scholar 

  20. Braatz, B., Ehrig, H., Gabriel, K., Golas, U.: Finitary \(\cal{M}\)-adhesive categories. In: Ehrig, H., Rensink, A., Rozenberg, G., Schürr, A. (eds.) ICGT 2010. LNCS, vol. 6372, pp. 234–249. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-15928-2_16

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Bremen, P.O.Box 33 04 40, 28334, Bremen, Germany

    Aaron Lye

Authors
  1. Aaron Lye
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Aaron Lye .

Editor information

Editors and Affiliations

  1. Università di Pisa, Pisa, Italy

    Fabio Gadducci

  2. Humboldt-Universität zu Berlin, Berlin, Germany

    Timo Kehrer

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Lye, A. (2021). Transformations of Reaction Systems Over Categories by Means of Epi-Mono Factorization and Functors. In: Gadducci, F., Kehrer, T. (eds) Graph Transformation. ICGT 2021. Lecture Notes in Computer Science(), vol 12741. Springer, Cham. https://doi.org/10.1007/978-3-030-78946-6_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-78946-6_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-78945-9

  • Online ISBN: 978-3-030-78946-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation