Computation, Cooperation, and Life pp 191-202

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6610) | Cite as

Reaction Systems with Duration

  • Robert Brijder
  • Andrzej Ehrenfeucht
  • Grzegorz Rozenberg

Abstract

A reaction system is essentially a finite set of reactions, where each reaction consists of a finite set of reactants (needed for the reaction to take place), a finite set of inhibitors (each of which inhibits the reaction from taking place), and a finite set of products produced when the reaction takes place. A crucial feature of a reaction system is that (unless introduced from outside the system) an element (entity) from a current state will belong also to the successor state only if it is in the product set of a reaction that took place in the current state. In other words, an entity vanishes unless it is sustained by a reaction — a sort of “immediate decay” property. In this paper we relax this property, by providing each entity x with its duration d(x), which guarantees that x will last through at least d(x) consecutive states. Such reaction systems with duration are investigated in this paper. Among others we demonstrate that duration/decay is a result of an interaction with a “structured environment”, and we also investigate fundamental properties of state sequences of reaction systems with duration.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Kari, L., Rozenberg, G.: The many facets of natural computing. Communications of the ACM 51(10), 72–83 (2008)CrossRefGoogle Scholar
  2. 2.
    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
  3. 3.
    Ehrenfeucht, A., Rozenberg, G.: Events and modules in reaction systems. Theoretical Computer Science 376(1-2), 3–16 (2007)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundamenta Informaticae 75(1-4), 263–280 (2007)MathSciNetMATHGoogle Scholar
  5. 5.
    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 2011

Authors and Affiliations

  • Robert Brijder
    • 1
  • Andrzej Ehrenfeucht
    • 2
  • Grzegorz Rozenberg
    • 1
    • 2
  1. 1.Leiden Institute of Advanced Computer Science, Leiden Center for Natural ComputingLeiden UniversityThe Netherlands
  2. 2.Department of Computer ScienceUniversity of Colorado at BoulderUSA

Personalised recommendations