Computation, Physics and Beyond pp 330-342

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7160)

Representing Reaction Systems by Trees

  • R. Brijder
  • A. Ehrenfeucht
  • G. Rozenberg

Abstract

Reaction systems formally model the functioning of the living cell. By representing sets of reactions by trees, we obtain a useful tool to investigate the state spaces of reaction systems. In particular, we give an upper bound on the fraction of inactive states within a subspace of the state space. This subspace represents partial knowledge of the (unknown) state under consideration.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Brijder, R., Ehrenfeucht, A., Main, M.G., Rozenberg, G.: A tour of reaction systems. To appear in Fundamenta Informaticae (2011)Google Scholar
  2. 2.
    Brijder, R., Ehrenfeucht, A., Rozenberg, G.: A note on causalities in reaction systems. Electronic Communications of the EASST 30 (2010)Google Scholar
  3. 3.
    Ehrenfeucht, A., Main, M.G., Rozenberg, G.: Combinatorics of life and death for reaction systems. International Journal of Foundations of Computer Science 21(3), 345–356 (2010)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Ehrenfeucht, A., Main, M.G., Rozenberg, G.: Functions defined by reaction systems. International Journal of Foundations of Computer Science 22(1), 167–178 (2011)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Ehrenfeucht, A., Rozenberg, G.: Events and modules in reaction systems. Theoretical Computer Science 376(1-2), 3–16 (2007)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundamenta Informaticae 75(1-4), 263–280 (2007)MathSciNetMATHGoogle Scholar
  7. 7.
    Ehrenfeucht, A., Rozenberg, G.: Introducing time in reaction systems. Theoretical Computer Science 410(4-5), 310–322 (2009)MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • R. Brijder
    • 1
  • A. Ehrenfeucht
    • 2
  • G. Rozenberg
    • 2
    • 3
  1. 1.Hasselt University and Transnational University of LimburgBelgium
  2. 2.Department of Computer ScienceUniversity of Colorado at BoulderUSA
  3. 3.Leiden Institute of Advanced Computer Science, Leiden Center for Natural ComputingLeiden UniversityThe Netherlands

Personalised recommendations